From f9fd80423fbdf0eecfa851b98d2d997c2ab06c28 Mon Sep 17 00:00:00 2001
From: "Fedor A. Fetisov" <faf@ossg.ru>
Date: Sun, 22 Dec 2013 03:17:14 +0400
Subject: [PATCH] Fix permissions-related bug in menu appearance

---
 src/mibew/view/inc_menu.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/mibew/view/inc_menu.php b/src/mibew/view/inc_menu.php
index 4a03689d..16948177 100644
--- a/src/mibew/view/inc_menu.php
+++ b/src/mibew/view/inc_menu.php
@@ -59,7 +59,7 @@ function tpl_menu() { global $page, $mibewroot, $errors;
 					<li<?php menuli("translate")?>><a href="<?php echo $mibewroot ?>/operator/translate.php"><?php echo getlocal('menu.translate') ?></a></li>
 					<li<?php menuli("updates")?>><a href="<?php echo $mibewroot ?>/operator/updates.php"><?php echo getlocal('menu.updates') ?></a></li>
 <?php } ?>
-<?php if(isset($page['shownotifications']) && $page['shownotifications']) { ?>
+<?php if(isset($page['showadmin']) && $page['showadmin'] || isset($page['shownotifications']) && $page['shownotifications']) { ?>
 					<li<?php menuli("notifications")?>><a href="<?php echo $mibewroot ?>/operator/notifications.php"><?php echo getlocal('menu.notifications') ?></a></li>
 <?php } ?>
 <?php if(isset($page['currentopid']) && $page['currentopid']) {?>