Report#65: Bots can see the user menu

This commit is contained in:
Kevin committed 2008-02-10 17:08:59 +00:00
1 parent 9677f7029b
commit c5a787cff0
2 files changed
+2 -2

No files matched your search

@@ -138,7 +138,7 @@
<!-- INCLUDE portal/block/login_box.html --> <!-- INCLUDE portal/block/login_box.html -->
<!-- ENDIF --> <!-- ENDIF -->
<!-- IF S_USER_LOGGED_IN --> <!-- IF not S_IS_BOT and S_USER_LOGGED_IN -->
<!-- INCLUDE portal/block/user_menu.html --> <!-- INCLUDE portal/block/user_menu.html -->
<!-- ENDIF --> <!-- ENDIF -->
<!-- ENDIF --> <!-- ENDIF -->
@@ -172,7 +172,7 @@ small, .small {
<!-- INCLUDE portal/block/login_box.html --> <!-- INCLUDE portal/block/login_box.html -->
<!-- ENDIF --> <!-- ENDIF -->
<!-- IF S_USER_LOGGED_IN --> <!-- IF not S_IS_BOT and S_USER_LOGGED_IN -->
<!-- INCLUDE portal/block/user_menu.html --> <!-- INCLUDE portal/block/user_menu.html -->
<!-- ENDIF --> <!-- ENDIF -->
<!-- ENDIF --> <!-- ENDIF -->