+++ /dev/null
-<?php
-$extra = ob_get_clean();
-http_response_code(404);
-$request = htmlspecialchars($_SERVER['REQUEST_URI']);
-echo "<h2>Pagina niet gevonden</h2>\n\n";
-echo "<p>De gevraagde pagina <em>$request</em> bestaat niet.</p>\n\n";
-echo $extra;