edit/page: add edit button in javascript

[minimedit.git] / page.inc.php

diff --git a/page.inc.php b/page.inc.php
index 3559e63b07fafff9f548411e8ee4f41c8db75daf..6ffd9cc6321cd0c05c07d8669137b61c9633068a 100644 (file)
--- a/page.inc.php
+++ b/page.inc.php
@@ -10,20 +10,6 @@ if ($User and property_exists($User, 'login') and $User->login) {
                '<span class="icon icon-user">&#x1F464;</span>',
                '/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 ' <a class="icon icon-edit" href="#edit" title="wijzig">&#x270D;</a>';
-               }
-       }
        print "</p></div>\n";
 }
 $menu->place['login'] = ob_get_clean();