1<?php 2/* 3 4 This page is a fallback menu for mobile users without Javascript. 5 6*/ 7 8// Ensure that our environment is set up 9$_SERVER['BASE_PAGE'] = 'menu.php'; 10include_once __DIR__ . '/include/prepend.inc'; 11 12// Do not index this fallback page 13site_header("Menu", ["noindex"]); 14 15?> 16 17<h1>Menu</h1> 18 19<p>Use the links below to browse the PHP.net website.</p> 20 21<ul class="menu"> 22 <?php foreach (get_nav_items() as $entry): ?> 23 <li class="menu__item"> 24 <a class="menu__link" href="<?= $entry->href ?>"><?= $entry->name ?></a> 25 </li> 26 <?php endforeach; ?> 27</ul> 28 29<?php 30 31site_footer(); 32
