2 include_once './head.inc.php';
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;
14 print "</header>\n\n";
16 register_shutdown_function(function () {
17 include 'foot.inc.php';
18 print "</body></html>\n";
21 print '<div class="article">'."\n\n";
22 include "./$Page.html";
25 if (file_exists("$Page.php")) include_once("./$Page.php");