From 710f01829655272e463ca248c8d63725b125f428 Mon Sep 17 00:00:00 2001 From: caishi <1149225589@qq.com> Date: Wed, 31 May 2023 10:20:03 +0800 Subject: [PATCH] remove unneed --- src/forge/Head/Header.js | 15 --------------- 1 file changed, 15 deletions(-) diff --git a/src/forge/Head/Header.js b/src/forge/Head/Header.js index 20fec8ceb..9269faf0d 100644 --- a/src/forge/Head/Header.js +++ b/src/forge/Head/Header.js @@ -311,22 +311,7 @@ class NewHeader extends Component { { settings.navbar && settings.navbar.map((item, key) => { var new_link = item.link; - // var user_login = current_user && current_user.login; var is_hidden = item.hidden; - // if (new_link && (new_link.indexOf("courses") > -1 || new_link.indexOf("contests") > -1)) { - // if (user_login) { - // if (new_link.indexOf("courses") > -1) { - // new_link = new_link.replace(/courses/g, user_login + "/courses") - // } else if (new_link.indexOf("contests") > -1) { - // new_link = new_link.replace(/contests/g, user_login + "/contests") - // } - // } else { - // is_hidden = true - // } - // } - // if (user_login && (new_link && new_link.indexOf("homes") > -1)) { - // new_link = new_link.replace(/homes/g, user_login + "/user_activities") - // } var waiLian = (new_link && str.filter(item=>new_link.indexOf(item)>-1) ); var wl = waiLian && waiLian.length>0; return (