function show_computer_menu($computer_id) { $menu_serializer = new XMLMenuSerializer(); $menu = $menu_serializer->unserialize(file_get_contents('config/computer/menu.xml')); $menu_renderer = new ComputerMenuRenderer($computer_id, $_SESSION['OCS']['url_service']); echo '<div class="navbar navbar-default">'; echo $menu_renderer->render($menu); echo '</div>'; }
function show_menu() { if (!file_exists(DOCUMENT_REAL_ROOT . '/config/main_menu.xml')) { migrate_config_2_2(); } // Build menu $profile = $_SESSION['OCS']['profile']; $urls = $_SESSION['OCS']['url_service']; $menu_serializer = new XMLMenuSerializer(); $menu = $menu_serializer->unserialize(file_get_contents('config/main_menu.xml')); $renderer = new MainMenuRenderer($profile, $urls); echo $renderer->render($menu); }