diff --git a/webtools/update/developers/appmanager.php b/webtools/update/developers/appmanager.php index 4fb60bc4dc94..1065891e32b0 100755 --- a/webtools/update/developers/appmanager.php +++ b/webtools/update/developers/appmanager.php @@ -12,9 +12,7 @@ include"$page_header"; include"inc_sidebar.php"; ?> Access Denied\n"; echo"You do not have access to the Application Manager"; include"$page_footer"; diff --git a/webtools/update/developers/inc_sidebar.php b/webtools/update/developers/inc_sidebar.php index 82204174a652..a0ab1dd621c7 100755 --- a/webtools/update/developers/inc_sidebar.php +++ b/webtools/update/developers/inc_sidebar.php @@ -24,9 +24,6 @@ if ($_SESSION["level"] == "user") { ?>