</div>
<hr class="footer" />
<?php
-if (($notfound = $_SERVER['SCRIPT_NAME'] == '/404.html')) {
+if (($notfound = $_SERVER['SCRIPT_NAME'] == '/404.php')) {
echo <<<'EOT'
<script>
var pagebody = document.getElementsByClassName('article')[0];
define('N', "\n");
$editable = FALSE; // "Beheer toegestaan voor {$_SERVER['REMOTE_ADDR']}:";
+
+$curfile = ltrim($_SERVER['SCRIPT_NAME'], '/');
+if (is_executable(__DIR__ . '/' . $curfile)) {
+ // dynamic code is +x
+ $editable = FALSE;
+}
+
if ($editable) {
echo '<p class="footer">'.N;
echo $editable.N;