X-Git-Url: http://git.shiar.net/minimedit.git/blobdiff_plain/d8990050a9613532c92b86ad86bfbc58a9c2e5c9..bd83adaa7865fbcbbc1fc4c497331e2a3ddceb37:/page.inc.php diff --git a/page.inc.php b/page.inc.php index c0282ee..7c8e191 100644 --- a/page.inc.php +++ b/page.inc.php @@ -6,7 +6,28 @@ include_once DOCROOT.'head.inc.php'; print "
\n"; ob_start(); include DOCROOT.'menu.html'; -$nav = ob_get_clean(); +ob_start(); +if (isset($User)) { + print '

'; + printf('Ingelogd: %s', $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 ' 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 @@ -14,7 +35,6 @@ $nav = preg_replace_callback('{(.*?)}', function ($m) { }, $nav); if (isset($User)) { $nav = preg_replace('{\s*
  • .*?
  • }', '', $nav); - $nav = str_replace('[[login]]', $User['name'], $nav); } else { $nav = preg_replace('{\s*
  • .*?
  • }', '', $nav);