page: omit numeric placeholders during edit
[minimedit.git] / page.php
index cb201f2f46fe32516fbdd61611a84fe0ce9cc0d2..c34b11c765c51425bb7f634b9921d7e003279c1a 100644 (file)
--- a/page.php
+++ b/page.php
@@ -2,9 +2,20 @@
 error_reporting(E_ALL);
 ini_set('display_errors', TRUE);
 
-set_exception_handler(function ($error) {
+function fail($error)
+{
+       http_response_code(500);
        include_once 'page.inc.php';
-       include_once '500.php';
+       ob_start();
+       require_once './500.html';
+       print getoutput(['debug' => $error]);
+}
+set_exception_handler('fail');
+register_shutdown_function(function () {
+       # display failure page for fatal exceptions
+       $error = error_get_last();
+       if (!($error['type'] & (E_ERROR | E_CORE_ERROR | E_COMPILE_ERROR | E_USER_ERROR))) return;
+       fail("Fatal: $error[message] in $error[file]:$error[line]");
 });
 
 include_once 'auth.inc.php';
@@ -41,12 +52,26 @@ if (file_exists("$Page$Args/index.html")) {
 elseif (file_exists("$Page$Args.html")) {
        $found = include "./$Page$Args.html";
 }
+elseif (isset($User) and $User['admin']) {
+       $found = require './template.html';
+}
 
 print "</div>\n\n";
 
 # execute dynamic code
 
 if ($Page) {
+       function getoutput($blocks = [])
+       {
+               $rep = [];
+               foreach ($blocks as $name => $html) {
+                       $rep["[[$name]]"] = sprintf('<!--BLOCK:%s-->%s<!--/-->',
+                               is_numeric($name) ? '' : "[[$name]]", $html
+                       );
+               }
+               return str_replace(array_keys($rep), array_values($rep), ob_get_clean());
+       }
+
        $found |= require "./$Page.php";
 }
 
@@ -56,11 +81,9 @@ include_once 'page.inc.php';
 
 if (!$found) {
        # no resulting output
-       if (isset($User) and $User['admin']) {
-               require './template.html';
-       }
-       else {
-               require "./404.php";
-       }
+       http_response_code(404);
+       ob_start();
+       require "./404.html";
+       print getoutput([ 'url' => htmlspecialchars($_SERVER['REQUEST_URI']) ]);
 }