--- /dev/null
+</div>
+<hr class="footer" />
+<?php
+if (($notfound = $_SERVER['SCRIPT_NAME'] == '/404.html')) {
+ echo <<<'EOT'
+<script>
+var pagebody = document.getElementsByClassName('article')[0];
+pagebody.innerHTML = '<h2>Nieuwe pagina</h2><p> </p>';
+</script>
+EOT;
+}
+
+define('N', "\n");
+
+$editable = FALSE; // "Beheer toegestaan voor {$_SERVER['REMOTE_ADDR']}:";
+if ($editable) {
+ echo '<p class="footer">'.N;
+ echo $editable.N;
+ echo '<script src="/ckeditor/ckeditor.js"></script>'.N;
+ echo '<script src="/edit.js"></script>'.N;
+ $edit = array_key_exists($_GET['edit']);
+ printf('<a href="?%s">%s</a>'.N,
+ $edit ? '' : 'edit',
+ $edit ? 'lezen' : ($notfound ? 'aanmaken' : 'aanpassen')
+ );
+ echo '</p>'.N;
+}
+
+?></body></html>