page: replace links to current page in menu include

[minimedit.git] / foot.inc.php

diff --git a/foot.inc.php b/foot.inc.php
index e61346a1fab0b7e815bb94bbf1221a10ce748b1d..e3e36b6f183b07e9f3c5c7bbb752205af56d7d85 100755 (executable)
--- a/foot.inc.php
+++ b/foot.inc.php
@@ -1,23 +1,17 @@
-</div>
 <hr class="footer" />
 <?php
 define('N', "\n");
 
-global $User, $Admin;
-
-$curfile = ltrim($_SERVER['SCRIPT_NAME'], '/');
-if (is_executable(__DIR__ . '/' . $curfile)) {
-       // dynamic code is +x
-       $Admin = FALSE;
-}
+global $Page, $User, $Admin;
 
 if ($Admin) {
        $edit = preg_match('/[?]edit$/', $_SERVER['REQUEST_URI']);
+       $notfound = $Page == '404';
 
        if ($edit) {
                echo '<script src="/ckeditor/ckeditor.js"></script>'.N;
                echo '<script src="/edit.js"></script>'.N;
-               if (($notfound = $_SERVER['SCRIPT_NAME'] == '/404.php')) {
+               if ($notfound) {
                        echo <<<'EOT'
 <script>
 var pagebody = document.getElementsByClassName('article')[0];
@@ -36,4 +30,3 @@ EOT;
        echo '</p>'.N;
 }
 
-?></body></html>