php - fix user level menu mess up

pool/page.php

@@ -361,6 +361,9 @@ function pgmenu($menus)
  $side = '';
  foreach ($menus as $menu => $submenus)
  {
+  if ($menu == 'Admin' && $submenus == null)
+	continue;
+
   if ($menu == 'gap')
   {
 	$side = 'r';

pool/prime.php

@@ -14,11 +14,6 @@ function process($p, $user, $menu)
 	$menu['Admin']['PPLNS'] = 'pplns';
 	$menu['Admin']['AllWork'] = 'allwork';
  }
- else
- {
-	if (isset($menu['Admin']))
-		unset($menu['Admin']);
- }
  $page = '';
  $n = '';
  foreach ($menu as $item => $options)