1
0
mirror of https://github.com/php/web-php.git synced 2026-03-23 23:02:13 +01:00
Files
archived-web-php/menu.php
Lucas Azevedo b62f99f6de Update navbar design and improve search UI (#1084)
Co-authored-by: Gina Peter Banyard <girgias@php.net>
Co-authored-by: Sergey Panteleev <sergey@php.net>
2024-11-02 17:39:04 +03:00

32 lines
608 B
PHP

<?php
/*
This page is a fallback menu for mobile users without Javascript.
*/
// Ensure that our environment is set up
$_SERVER['BASE_PAGE'] = 'menu.php';
include_once __DIR__ . '/include/prepend.inc';
// Do not index this fallback page
site_header("Menu", ["noindex"]);
?>
<h1>Menu</h1>
<p>Use the links below to browse the PHP.net website.</p>
<ul class="menu">
<?php foreach (get_nav_items() as $entry): ?>
<li class="menu__item">
<a class="menu__link" href="<?= $entry->href ?>"><?= $entry->name ?></a>
</li>
<?php endforeach; ?>
</ul>
<?php
site_footer();