do not show menus that do not contain any tools

(cherry picked from commit 7cb9743)

Author: razvancrainea

Diff for: 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."')";