From 2a9472c42840b699dfccf1aca3c9f86fcf6cadbe Mon Sep 17 00:00:00 2001
From: MatteoPistorello <pistorellomatteo8@gmail.com>
Date: Fri, 10 Jun 2022 16:08:11 +0200
Subject: [PATCH] Nascosti pulsanti nel top per utenti diversi da
 amministratori

---
 include/top.php | 8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)

diff --git a/include/top.php b/include/top.php
index 1dfd438e9..c0fe29029 100755
--- a/include/top.php
+++ b/include/top.php
@@ -399,8 +399,10 @@ if (Auth::check()) {
 
                             <li class="nav-button" >
                                 <p style="padding:10px 15px;">&nbsp;</p>
-                            </li>
+                            </li>';
 
+                        if ($user->gruppo == 'Amministratori') {
+                        echo '
                             <li class="dropdown notifications-menu nav-button">
                                 <a href="#" class="dropdown-toggle" data-toggle="dropdown">
                                     <i class="fa fa-bell-o"></i>
@@ -425,8 +427,10 @@ if (Auth::check()) {
 
                             <li class="nav-button"><a href="'.base_path().'/log.php" class="tip nav-button" title="'.tr('Log accessi').'">
                                 <i class="fa fa-book"></i>
-                            </a></li>
+                            </a></li>';
+                        }
 
+                        echo '
                             <li class="nav-button"><a href="'.base_path().'/info.php" class="tip nav-button" title="'.tr('Informazioni').'">
                                 <i class="fa fa-info"></i>
                             </a></li>