print "<header>\n";
ob_start();
-include 'menu.html';
+include 'menu.inc.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'])) {
+ printf('<span>Ingelogd: <b><a href="%s">%s</a></b></span>', '/login', $User->login);
+ if ($User->admin("edit $Page$Args")) {
$editpage = $Page.$Args;
if (is_dir($editpage)) {
if (file_exists("$editpage/index.html")) {
$html = $request == $m[1] ? $m[2] : $m[0]; # text or full link
return $m[1] == substr($request, 0, strlen($m[1])) ? "<b>$html</b>" : $html;
}, $nav);
-if (!empty($User)) {
- $nav = preg_replace('{\s*<li class="logout">.*?</li>}', '', $nav);
-}
-else {
- $nav = preg_replace('{\s*<li class="login">.*?</li>}', '', $nav);
-}
print $nav;
print "</header>\n\n";
register_shutdown_function(function () {
print '<footer>';
- @include 'footer.html';
+ @include 'footer.inc.html';
print "</footer>\n";
- global $User;
- if (!empty($User['admin'])) {
+ global $User, $Page, $Args;
+ if (!empty($User) and $User->admin("edit $Page$Args")) {
$ckesrc = '/lib/ckeditor'; # local install
if (!file_exists(DOCROOT . $ckesrc)) {
$ckesrc = '//cdn.ckeditor.com/4.7.3/full-all'; # remote fallback