4 if (($notfound = $_SERVER['SCRIPT_NAME'] == '/404.php')) {
7 var pagebody = document.getElementsByClassName('article')[0];
8 pagebody.innerHTML = '<h2>Nieuwe pagina</h2><p> </p>';
15 $editable = FALSE; // "Beheer toegestaan voor {$_SERVER['REMOTE_ADDR']}:";
17 $curfile = ltrim($_SERVER['SCRIPT_NAME'], '/');
18 if (is_executable(__DIR__ . '/' . $curfile)) {
24 echo '<p class="footer">'.N;
26 echo '<script src="/ckeditor/ckeditor.js"></script>'.N;
27 echo '<script src="/edit.js"></script>'.N;
28 $edit = array_key_exists($_GET['edit']);
29 printf('<a href="?%s">%s</a>'.N,
31 $edit ? 'lezen' : ($notfound ? 'aanmaken' : 'aanpassen')