1 </section><!-- layout-content --> 2 <?php 3 if (!empty($config['spanning-content'])) { 4 echo "<div class='spanning-content'>"; 5 echo $config['spanning-content']; 6 echo "</div>"; 7 } 8 9 ?> 10<?php if (!empty($config['related_menu']) || !empty($config['related_menu_deprecated'])): ?> 11 <aside class='layout-menu'> 12 13 <ul class='parent-menu-list'> 14 <?php if (!empty($config['related_menu'])): ?> 15 <?php foreach($config['related_menu'] as $section): ?> 16 <li> 17 <a href="<?php echo $section['link']; ?>"><?php echo $section['title']; ?></a> 18 19 <?php if ($section['children']): ?> 20 <ul class='child-menu-list'> 21 22 <?php 23 foreach($section['children'] as $item): 24 $cleanTitle = $item['title']; 25 ?> 26 <li class="<?php echo ($item['current']) ? 'current' : ''; ?>"> 27 <a href="<?php echo $item['link']; ?>" title="<?php echo $cleanTitle; ?>"><?php echo $cleanTitle; ?></a> 28 </li> 29 <?php endforeach; ?> 30 31 </ul> 32 <?php endif; ?> 33 34 </li> 35 <?php endforeach; ?> 36 <?php endif; ?> 37 38 <?php if (!empty($config['related_menu_deprecated'])): ?> 39 <li> 40 <span class="header">Deprecated</span> 41 <ul class="child-menu-list"> 42 <?php foreach ($config['related_menu_deprecated'] as $item): ?> 43 <li class="<?php echo ($item['current']) ? 'current' : ''; ?>"> 44 <a href="<?php echo $item['link']; ?>" title="<?php echo $item['title']; ?>"><?php echo $item['title']; ?></a> 45 </li> 46 <?php endforeach; ?> 47 </ul> 48 </li> 49 <?php endif; ?> 50 </ul> 51 </aside> 52<?php endif; ?> 53 54<?php if (!empty($config['sidebar'])): ?> 55<aside class="tips"> 56 <div class="inner"><?php echo $config['sidebar']; ?></div> 57</aside> 58<?php endif; ?> 59 60 </div><!-- layout --> 61 62 <footer> 63 <div class="container footer-content"> 64 <div class="row-fluid"> 65 <ul class="footmenu"> 66<?php 67global $LANG; 68if (!empty($_SERVER['BASE_PAGE']) 69 && str_starts_with($_SERVER['BASE_PAGE'], 'manual/' . $LANG . '/')) { 70?> 71 <li><a href="/manual/<?php echo $LANG; ?>/copyright.php">Copyright © 2001-<?php echo date('Y'); ?> The PHP Documentation Group</a></li> 72<?php 73} else { 74?> 75 <li><a href="/copyright.php">Copyright © 2001-<?php echo date('Y'); ?> The PHP Group</a></li> 76<?php 77} 78?> 79 <li><a href="/my.php">My PHP.net</a></li> 80 <li><a href="/contact.php">Contact</a></li> 81 <li><a href="/sites.php">Other PHP.net sites</a></li> 82 <li><a href="/privacy.php">Privacy policy</a></li> 83<?php if (!empty($_SERVER['BASE_PAGE']) && strncmp($_SERVER['BASE_PAGE'], 'manual', 6) !== 0): ?> 84 <li><a href="https://github.com/php/web-php/blob/master/<?php echo urlencode($_SERVER['BASE_PAGE']); ?>">View Source</a></li> 85<?php endif; ?> 86 </ul> 87 </div> 88 </div> 89 </footer> 90 91 <?php 92 // if elephpants enabled, insert placeholder nodes 93 // to be populated with images via javascript. 94 if (isset($config['elephpants']) && $config['elephpants']) { 95 echo "<div class='elephpants'><div class=images></div></div>"; 96 } 97 ?> 98 99<?php 100 $jsfiles = ["ext/jquery-3.6.0.min.js", "ext/FuzzySearch.min.js", "ext/mousetrap.min.js", "ext/jquery.scrollTo.min.js", "search.js", "common.js"]; 101 foreach ($jsfiles as $filename) { 102 $path = dirname(__DIR__) . '/js/' . $filename; 103 echo '<script src="/cached.php?t=' . @filemtime($path) . '&f=/js/' . $filename . '"></script>' . "\n"; 104 } 105?> 106 107<a id="toTop" href="javascript:;"><span id="toTopHover"></span><img width="40" height="40" alt="To Top" src="/images/to-top@2x.png"></a> 108 109<div id="search-modal__backdrop" class="search-modal__backdrop"> 110 <div 111 role="dialog" 112 aria-label="Search modal" 113 id="search-modal" 114 class="search-modal" 115 > 116 <div class="search-modal__header"> 117 <div class="search-modal__form"> 118 <div class="search-modal__input-icon"> 119 <!-- https://feathericons.com search --> 120 <svg xmlns="http://www.w3.org/2000/svg" 121 aria-hidden="true" 122 width="24" 123 viewBox="0 0 24 24" 124 fill="none" 125 stroke="currentColor" 126 stroke-width="2" 127 stroke-linecap="round" 128 stroke-linejoin="round" 129 > 130 <circle cx="11" cy="11" r="8"></circle> 131 <line x1="21" y1="21" x2="16.65" y2="16.65"></line> 132 </svg> 133 </div> 134 <input 135 type="search" 136 id="search-modal__input" 137 class="search-modal__input" 138 placeholder="Search docs" 139 aria-label="Search docs" 140 /> 141 </div> 142 143 <button aria-label="Close" class="search-modal__close"> 144 <!-- https://pictogrammers.com/library/mdi/icon/close/ --> 145 <svg 146 xmlns="http://www.w3.org/2000/svg" 147 aria-hidden="true" 148 width="24" 149 viewBox="0 0 24 24" 150 > 151 <path d="M19,6.41L17.59,5L12,10.59L6.41,5L5,6.41L10.59,12L5,17.59L6.41,19L12,13.41L17.59,19L19,17.59L13.41,12L19,6.41Z"/> 152 </svg> 153 </button> 154 </div> 155 <div 156 role="listbox" 157 aria-label="Search results" 158 id="search-modal__results" 159 class="search-modal__results" 160 ></div> 161 <div class="search-modal__helper-text"> 162 <div> 163 <kbd>↑</kbd> and <kbd>↓</kbd> to navigate • 164 <kbd>Enter</kbd> to select • 165 <kbd>Esc</kbd> to close 166 </div> 167 <div> 168 Press <kbd>Enter</kbd> without 169 selection to search using Google 170 </div> 171 </div> 172 </div> 173</div> 174 175</body> 176</html> 177
