2 include_once 'head.inc.php';
5 $menu = new ArchiveArticle('menu.inc.html');
7 if ($User and property_exists($User, 'login') and $User->login) {
8 print '<div class="login"><p>';
9 printf('<span title="ingelogd">%s <a href="%s">%s</a></span>',
10 '<span class="icon icon-user">👤</span>',
11 '/login', $User->login
15 $menu->place['login'] = ob_get_clean();
16 $nav = $menu->render();
18 $nav = preg_replace_callback('{<a href="([^"]+)">(.*?)</a>}', function ($m) {
19 $request = $_SERVER['REQUEST_URI'];
20 $html = $request == $m[1] ? $m[2] : $m[0]; # text or full link
21 return $m[1] == substr($request, 0, strlen($m[1])) ? "<b>$html</b>" : $html;
24 print "</header>\n\n";
26 register_shutdown_function(function () {
28 @include 'footer.inc.html';
30 print "</body></html>\n";