print "<header>\n";
ob_start();
include DOCROOT.'menu.html';
-$nav = ob_get_clean();
+ob_start();
+if (isset($User)) {
+ printf('<p class="login">Ingelogd: %s</p>'."\n", $User['name']);
+}
+$nav = getoutput(['login' => ob_get_clean()]);
+
$nav = preg_replace_callback('{<a href="([^"]+)">(.*?)</a>}', function ($m) {
$request = $_SERVER['REQUEST_URI'];
$html = $request == $m[1] ? $m[2] : $m[0]; # text or full link
}, $nav);
if (isset($User)) {
$nav = preg_replace('{\s*<li class="logout">.*?</li>}', '', $nav);
- $nav = str_replace('[[login]]', $User['name'], $nav);
}
else {
$nav = preg_replace('{\s*<li class="login">.*?</li>}', '', $nav);