From 947e22a91a08e328bc8511c232e9d1deda63c442 Mon Sep 17 00:00:00 2001
From: kanoi <gitkanoi@k1k2.com>
Date: Thu, 18 Sep 2014 12:10:58 +1000
Subject: [PATCH] php - fix user level menu mess up

---
 pool/page.php  | 3 +++
 pool/prime.php | 5 -----
 2 files changed, 3 insertions(+), 5 deletions(-)

diff --git a/pool/page.php b/pool/page.php
index ed8945bb..f4127f04 100644
--- a/pool/page.php
+++ b/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';
diff --git a/pool/prime.php b/pool/prime.php
index d6599b7d..cdcea841 100644
--- a/pool/prime.php
+++ b/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)