From eb7ca74ec4fbe21cdf7e0923341c35f057671fa1 Mon Sep 17 00:00:00 2001 From: Razvan Crainea Date: Thu, 7 Nov 2024 11:14:21 +0200 Subject: [PATCH] do not show menus that do not contain any tools (cherry picked from commit 7cb974328529f153cb2b5e8bf0623bae2d619971) --- web/menu.php | 2 ++ 1 file changed, 2 insertions(+) diff --git a/web/menu.php b/web/menu.php index 823c0143..b44de7f9 100644 --- a/web/menu.php +++ b/web/menu.php @@ -100,6 +100,8 @@ $path .= '/index.php'; $single_module = true; $onclick = "SwitchMenu('".$menuitem."');top.frames['main_body'].location.href='".$path."'"; + } else if (count($menu_link_text) == 0) { + continue; } else { $single_module = false; $onclick = "SwitchMenu('".$menuitem."')";