diff --git a/pandora_console/include/functions_menu.php b/pandora_console/include/functions_menu.php index 9f28d0e7d6..482883f9e1 100644 --- a/pandora_console/include/functions_menu.php +++ b/pandora_console/include/functions_menu.php @@ -39,11 +39,14 @@ if (is_ajax() === true && empty(get_parameter('menuType')) === false) { /** * Prints a complete menu structure. * - * @param array Menu structure to print. + * @param array $menu Menu structure to print. + * + * @return void */ function menu_print_menu(&$menu) { global $config; + global $menuTypeClass; static $idcounter = 0; echo '