'; @@ -14,23 +10,10 @@ if ($User and property_exists($User, 'login') and $User->login) { '👤', '/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 "