enable/disable if ((db_ver_rights_user_one_valid($_SESSION[$_PAGE_INFO['id']]['login']['user']['id'], $_PAGE_INFO['menu_items'][$i][2])) && (!empty($_PAGE_INFO['menu_items'][$i][1]))) { $menu_rights[$i] = 1; } else { $menu_rights[$i] = 0; } // Retrieve button link $menu_links[$i] = "?id=" . $_PAGE_INFO['id'] . "&href=" . $_PAGE_INFO['menu_items'][$i][1]; } // Display main menu print_menu(_("Documentation"), $menu_items, $menu_links, $menu_rights); // Show page footer print_page_footer(); } ?>