diff --git a/pandora_console/general/main_menu.php b/pandora_console/general/main_menu.php index f0b75c51a5..590dbe328a 100644 --- a/pandora_console/general/main_menu.php +++ b/pandora_console/general/main_menu.php @@ -26,6 +26,8 @@ * ============================================================================ */ +use function PHPSTORM_META\map; + // Begin. if (isset($config['id_user']) === false) { include 'general/login_page.php'; @@ -57,52 +59,22 @@ if (isset($config['autohidden_menu']) === true && (bool) $config['autohidden_men // Start of full lateral menu. echo sprintf('