\n";
ob_start();
include DOCROOT.'menu.html';
ob_start();
if (isset($User)) {
print '
';
printf('Ingelogd: %s', $User['name']);
if ($User['admin']) {
print ' Wijzig';
}
print "
\n";
}
$nav = getoutput(['login' => 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);
if (isset($User)) {
$nav = preg_replace('{\s*.*?}', '', $nav);
}
else {
$nav = preg_replace('{\s*.*?}', '', $nav);
}
print $nav;
print "\n\n";
print $body;
register_shutdown_function(function () {
print '\n";
global $User;
if (isset($User) and $User['admin']) {
print ''."\n";
print ''."\n";
}
print "