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 <li><a href="/copyright.php">Copyright © 2001-<?php echo date('Y'); ?> The PHP Group</a></li> 67 <li><a href="/my.php">My PHP.net</a></li> 68 <li><a href="/contact.php">Contact</a></li> 69 <li><a href="/sites.php">Other PHP.net sites</a></li> 70 <li><a href="/privacy.php">Privacy policy</a></li> 71<?php if (!empty($_SERVER['BASE_PAGE']) && strncmp($_SERVER['BASE_PAGE'], 'manual', 6) !== 0): ?> 72 <li><a href="https://github.com/php/web-php/blob/master/<?php echo urlencode($_SERVER['BASE_PAGE']); ?>">View Source</a></li> 73<?php endif; ?> 74 </ul> 75 </div> 76 </div> 77 </footer> 78 79 <?php 80 // if elephpants enabled, insert placeholder nodes 81 // to be populated with images via javascript. 82 if (isset($config['elephpants']) && $config['elephpants']) { 83 echo "<div class='elephpants'><div class=images></div></div>"; 84 } 85 ?> 86 87 <!-- External and third party libraries. --> 88 <script src="https://code.jquery.com/jquery-3.6.0.min.js" integrity="sha256-/xUj+3OJU5yExlq6GSYGSHk7tPXikynS7ogEvDej/m4=" crossorigin="anonymous"></script> 89<?php 90 $jsfiles = ["ext/hogan-3.0.2.min.js", "ext/typeahead.min.js", "ext/mousetrap.min.js", "ext/jquery.scrollTo.min.js", "search.js", "common.js"]; 91 foreach ($jsfiles as $filename) { 92 $path = dirname(__DIR__) . '/js/' . $filename; 93 echo '<script src="/cached.php?t=' . @filemtime($path) . '&f=/js/' . $filename . '"></script>' . "\n"; 94 } 95?> 96 97<a id="toTop" href="javascript:;"><span id="toTopHover"></span><img width="40" height="40" alt="To Top" src="/images/to-top@2x.png"></a> 98 99</body> 100</html> 101
