+include DOCROOT.'menu.html';
+ob_start();
+if (!empty($User)) {
+ print '<div class="login"><p>';
+ printf('<span>Ingelogd: <b><a href="%s">%s</a></b></span>', '/login', $User['name']);
+ if (!empty($User['admin'])) {
+ $editpage = $Page.$Args;
+ if (is_dir($editpage)) {
+ if (file_exists("$editpage/index.html")) {
+ $editpage .= '/index.html';
+ }
+ }
+ else {
+ $editpage .= '.html';
+ }
+ if (!file_exists($editpage) or is_writable($editpage)) {
+ print ' <a href="#edit">Wijzig</a>';
+ }
+ }
+ print "</p></div>\n";
+}
+$nav = getoutput(['login' => ob_get_clean()]);
+