404: convert error pages to php code

[minimedit.git] / foot.inc.php

diff --git a/foot.inc.php b/foot.inc.php
index 30426ea41dfd1b1af263228d8fcbb531057882fc..7723e30d2e13c0a48c19e472685a4e8522d025a5 100644 (file)
--- a/foot.inc.php
+++ b/foot.inc.php
@@ -1,7 +1,7 @@
 </div>
 <hr class="footer" />
 <?php
-if (($notfound = $_SERVER['SCRIPT_NAME'] == '/404.html')) {
+if (($notfound = $_SERVER['SCRIPT_NAME'] == '/404.php')) {
        echo <<<'EOT'
 <script>
 var pagebody = document.getElementsByClassName('article')[0];