diff options
author | Marc Delisle <marc@infomarc.info> | 2015-01-08 17:33:02 +0300 |
---|---|---|
committer | Marc Delisle <marc@infomarc.info> | 2015-01-08 17:33:02 +0300 |
commit | 769df9acec78016a4f85304d9af084a6d1ff0e56 (patch) | |
tree | 33cdd7d5d90d92f67985ce92477a4a5c7596aff7 /server_privileges.php | |
parent | 612e1914c16422921af414010b1c3f0d801ab10c (diff) |
Bug Undefined index menuswork
Signed-off-by: Marc Delisle <marc@infomarc.info>
Diffstat (limited to 'server_privileges.php')
-rw-r--r-- | server_privileges.php | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/server_privileges.php b/server_privileges.php index e9dc898bef..2db8f91ce7 100644 --- a/server_privileges.php +++ b/server_privileges.php @@ -27,7 +27,9 @@ $header = $response->getHeader(); $scripts = $header->getScripts(); $scripts->addFile('server_privileges.js'); -if ((isset($_REQUEST['viewing_mode']) && $_REQUEST['viewing_mode'] == 'server') +if ((isset($_REQUEST['viewing_mode']) + && $_REQUEST['viewing_mode'] == 'server') + && isset($GLOBALS['cfgRelation']['menuswork']) && $GLOBALS['cfgRelation']['menuswork'] ) { include_once 'libraries/server_users.lib.php'; |