\n"; $menu = new ArchiveArticle('menu.inc.html'); ob_start(); if ($User and property_exists($User, 'login') and $User->login) { print '
'; printf('%s %s', '👤', '/login', $User->login ); if ($User->admin("edit {$Page->link}")) { $editpage = $Page->link; 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 ' ✍'; } } print "