page: link user name in header bar to login page

[minimedit.git] / page.inc.php

diff --git a/page.inc.php b/page.inc.php
index c607fcf12a1638cc64728fd8d8f81282f8ff272a..393d614dade2fd2004ba5ad94c40da611da8d302 100644 (file)
--- a/page.inc.php
+++ b/page.inc.php
@@ -8,7 +8,23 @@ ob_start();
 include DOCROOT.'menu.html';
 ob_start();
 if (isset($User)) {
-       printf('<p class="login">Ingelogd: %s</p>'."\n", $User['name']);
+       print '<div class="login"><p>';
+       printf('<span>Ingelogd: <b><a href="%s">%s</a></b></span>', '/login', $User['name']);
+       if ($User['admin']) {
+               $editpage = $Page.$Args;
+               if (is_dir($editpage)) {
+                       if (file_exists("$editpage/index.html")) {
+                               $editpage .= '/index.html';
+                       }
+               }
+               else {
+                       $editpage .= '.html';
+               }
+               if (is_writable($editpage)) {
+                       print ' <a href="#edit">Wijzig</a>';
+               }
+       }
+       print "</p></div>\n";
 }
 $nav = getoutput(['login' => ob_get_clean()]);