-<?php include 'head.inc.html'; ?>
+<?php include 'head.inc.php'; ?>
<h2>Niet gevonden</h2>
De gevraagde pagina <em><?php echo htmlspecialchars($_SERVER['REQUEST_URI']); ?></em> bestaat niet.
</p>
-<?php include 'foot.inc.php'; ?>
exit;
}
-$prepend = '<!--#include virtual="/head.inc.html" -->'."\n\n";
-$append = "\n".'<!--#include virtual="/foot.inc.html" -->'."\n";
+$prepend = "<?php include 'head.inc.php'; ?>\n\n";
+$append = "\n";
if (!file_put_contents($filename, $prepend . $upload . $append))
abort('500 save error', "fout bij schrijven van $filename");
+++ /dev/null
-</div>
-<hr class="footer" />
-<!--#if expr="-A /edit.php" -->
-<p class="footer">Beheer toegestaan voor <!--#echo var="REMOTE_ADDR" -->:
-<!--#if expr="$QUERY_STRING = edit || $REQUEST_URI = /[?]edit$/" -->
-<!--#if expr="$DOCUMENT_NAME = 404.php" -->
-<script>
-var pagebody = document.getElementsByClassName('article')[0];
-pagebody.innerHTML = '<h2>Nieuwe pagina</h2><p> </p>';
-</script>
-<!--#endif -->
-<script src="/ckeditor/ckeditor.js"></script>
-<script src="/edit.js"></script>
-<a href="?">lezen</a>
-<!--#elif expr="$DOCUMENT_NAME = 404.php" -->
-<a href="?edit">aanmaken</a>
-<!--#else -->
-<a href="?edit">aanpassen</a>
-<!--#endif -->
-</p>
-<!--#endif -->
-</body></html>
--- /dev/null
+<?php
+include 'head.inc.html';
+
+print '<div class="article">'."\n\n";
+
+register_shutdown_function(function () {
+ include 'foot.inc.php';
+});