+function abort($body, $status = NULL) {
+ if ($status) header("HTTP/1.1 $status");
+ print "$body\n";
+ exit;
+}
+
+function placeholder_include($name, $params = [])
+{
+ $path = stream_resolve_include_path("widget/$name.php");
+ if (!file_exists($path)) {
+ return '<strong class="warn"><em>'.$name.'</em> ontbreekt</strong>';
+ }
+
+ ob_start();
+ $Page = $GLOBALS['Page'] . $GLOBALS['Args'];
+ $Args = '';
+ $Place = $GLOBALS['Place'];
+ foreach ($params as $param) {
+ if ($set = strpos($param, '=')) {
+ $Place[ substr($param, 0, $set) ] = substr($param, $set + 1);
+ }
+ elseif (!empty($param)) {
+ $Args .= '/'.$param;
+ }
+ }
+ try {
+ include "widget/$name.php";
+ return ob_get_clean();
+ }
+ catch (Exception $e) {
+ return sprintf('<strong class="warn">%s</strong>',
+ "fout in <em>$name</em>: {$e->getMessage()}"
+ );
+ }
+}
+
+function getoutput($blocks = [])
+{
+ $doc = ob_get_clean();
+
+ if (!empty($blocks['warn'])) {
+ $warn = '<p class="warn">[[warn]]</p>';
+ if ($offset = strpos($doc, '</h2>')) {
+ $doc = substr_replace($doc, "\n\n".$warn, $offset + 5, 0);
+ }
+ else {
+ $doc = $warn . "\n\n" . $doc;
+ }
+ }
+
+ # keep either login or logout parts depending on user level
+ global $User;
+ $hideclass = empty($User) ? 'login' : 'logout';
+ $doc = preg_replace('{\s*<([a-z]+) class="'.$hideclass.'">.*?</\1>}s', '', $doc);
+
+ return preg_replace_callback(
+ '{ (?<! <!--BLOCK: ) \[\[ ([^] ]+) ([^]]*) \]\] }x',
+ function ($sub) use ($blocks) {
+ list ($placeholder, $name, $params) = $sub;
+ if (isset($blocks[$name])) {
+ $html = $blocks[$name];
+ }
+ else {
+ $html = placeholder_include($name, explode(' ', $params));
+ }
+ return sprintf('<!--BLOCK:%s-->%s<!--/-->',
+ is_numeric($name) ? '' : $placeholder, # edit replacement
+ preg_replace('{<!--[^-]*-->}', '', $html) # contents
+ );
+ },
+ $doc
+ );
+}
+
+# custom error handling
+
+define('DOCROOT', getcwd());
+set_include_path(implode(PATH_SEPARATOR, [ DOCROOT, __DIR__ ]));
+
+function fail($error)
+{
+ global $User, $Page, $Args;
+ http_response_code(500);
+ if (!isset($Article)) {
+ $Article = new ArchiveArticle(NULL);
+ $Article->title = 'Fout';
+ }
+ include_once 'page.inc.php';
+ ob_start();
+ require '500.inc.html';
+ print getoutput(['debug' => htmlspecialchars($error)]);
+}
+
+set_exception_handler('fail');
+
+define('E_FATAL', E_ERROR | E_CORE_ERROR | E_COMPILE_ERROR | E_USER_ERROR);
+
+set_error_handler(function ($level, $error, $file, $line) {
+ if ($level & E_FATAL) {
+ fail($error);
+ return;
+ }
+ return FALSE;
+});
+
+register_shutdown_function(function () {
+ # display failure page for fatal exceptions
+ $error = error_get_last();
+ if (!($error['type'] & E_FATAL)) return;
+ fail("Fatal: $error[message] in $error[file]:$error[line]");
+});
+
+error_reporting(error_reporting() & ~E_FATAL);
+
+# user login and control
+
+$User = NULL;