page: skip head formatting for script overrides (edit)

Can be included explicitly if wanted.

diff --git a/page.php b/page.php
index e2043edb4b4cd6ed3a30805f76637f9b213693e4..51ef900455c485d78bd770afaa59ea55d9ccce77 100644 (file)
--- a/page.php
+++ b/page.php
@@ -16,7 +16,7 @@ while (TRUE) {
        if (file_exists("$Page.php")) {
                # unformatted script override
                require "$Page.php";
-               break;
+               exit;
        }
 
        $up = strrpos($Page, '/');