\n"; ob_start(); include 'menu.inc.html'; ob_start(); if (!empty($User)) { print '
'; printf('Ingelogd: %s', '/login', $User->login); if ($User->admin("edit $Page$Args")) { $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 ' Wijzig'; } } print "