\n";
ob_start();
include 'menu.html';
$nav = ob_get_clean();
$nav = preg_replace_callback('{(.*?)}', function ($m) {
$request = $_SERVER['REQUEST_URI'];
$html = $request == $m[1] ? $m[2] : $m[0]; # text or full link
return $m[1] == substr($request, 0, strlen($m[1])) ? "$html" : $html;
}, $nav);
print $nav;
print "\n\n";
print ''."\n\n";
include_once 'auth.inc.php';
register_shutdown_function(function () {
print "
\n\n";
include 'foot.inc.php';
print "