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);
}