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<?php 107 $jsfiles = ["interactive-examples.js"]; 108 foreach ($jsfiles as $filename) { 109 $path = dirname(__DIR__) . '/js/' . $filename; 110 echo '<script type="module" src="/cached.php?t=' . @filemtime($path) . '&f=/js/' . $filename . '"></script>' . "\n"; 111 } 112?> 113 114<a id="toTop" href="javascript:;"><span id="toTopHover"></span><img width="40" height="40" alt="To Top" src="/images/to-top@2x.png"></a> 115 116<div id="search-modal__backdrop" class="search-modal__backdrop"> 117 <div 118 role="dialog" 119 aria-label="Search modal" 120 id="search-modal" 121 class="search-modal" 122 > 123 <div class="search-modal__header"> 124 <div class="search-modal__form"> 125 <div class="search-modal__input-icon"> 126 <!-- https://feathericons.com search --> 127 <svg xmlns="http://www.w3.org/2000/svg" 128 aria-hidden="true" 129 width="24" 130 viewBox="0 0 24 24" 131 fill="none" 132 stroke="currentColor" 133 stroke-width="2" 134 stroke-linecap="round" 135 stroke-linejoin="round" 136 > 137 <circle cx="11" cy="11" r="8"></circle> 138 <line x1="21" y1="21" x2="16.65" y2="16.65"></line> 139 </svg> 140 </div> 141 <input 142 type="search" 143 id="search-modal__input" 144 class="search-modal__input" 145 placeholder="Search docs" 146 aria-label="Search docs" 147 /> 148 </div> 149 150 <button aria-label="Close" class="search-modal__close"> 151 <!-- https://pictogrammers.com/library/mdi/icon/close/ --> 152 <svg 153 xmlns="http://www.w3.org/2000/svg" 154 aria-hidden="true" 155 width="24" 156 viewBox="0 0 24 24" 157 > 158 <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"/> 159 </svg> 160 </button> 161 </div> 162 <div 163 role="listbox" 164 aria-label="Search results" 165 id="search-modal__results" 166 class="search-modal__results" 167 ></div> 168 <div class="search-modal__helper-text"> 169 <div> 170 <kbd>↑</kbd> and <kbd>↓</kbd> to navigate • 171 <kbd>Enter</kbd> to select • 172 <kbd>Esc</kbd> to close 173 </div> 174 <div> 175 Press <kbd>Enter</kbd> without 176 selection to search using Google 177 </div> 178 </div> 179 </div> 180</div> 181 182</body> 183</html> 184
