From c3764fe0c2916d8d48a5da38d39b224d731ff732 Mon Sep 17 00:00:00 2001
From: Mischa POSLAWSKY <perl@shiar.org>
Date: Tue, 12 Sep 2017 20:36:11 +0200
Subject: [PATCH] page: skip head formatting for script overrides (edit)

Can be included explicitly if wanted.
---
 page.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/page.php b/page.php
index e2043ed..51ef900 100644
--- 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, '/');
-- 
2.30.0