page.inc.php

   1 <?php
   2 include_once './head.inc.php';
   3
   4 print "<header>\n";
   5 ob_start();
   6 include './menu.html';
   7 $nav = ob_get_clean();
   8 $nav = preg_replace_callback('{<a href="([^"]+)">(.*?)</a>}', function ($m) {
   9         $request = $_SERVER['REQUEST_URI'];
  10         $html = $request == $m[1] ? $m[2] : $m[0]; # text or full link
  11         return $m[1] == substr($request, 0, strlen($m[1])) ? "<b>$html</b>" : $html;
  12 }, $nav);
  13 print $nav;
  14 print "</header>\n\n";
  15
  16 register_shutdown_function(function () {
  17         include 'foot.inc.php';
  18         print "</body></html>\n";
  19 });
  20