edit: replace executable check by filename validation

No more distinction in php files; prefer a-x.

diff --git a/auth.inc.php b/auth.inc.php
old mode 100755 (executable)
new mode 100644 (file)

diff --git a/edit.php b/edit.php
old mode 100755 (executable)
new mode 100644 (file)
index 1856336..cf9b6c0
--- a/edit.php
+++ b/edit.php
@@ -14,9 +14,9 @@ if (!isset($_SERVER['PATH_INFO']) or strlen($_SERVER['PATH_INFO']) <= 1)
        abort('409 input error', "geen bestand aangeleverd");
 
 $filename = ltrim($Args, '/').'.html';
-if (file_exists($filename) and !is_writable($filename))
+if (!preg_match('{^(?:[/a-z0-9-])+\.html$}', $filename))
        abort('403 input error', "ongeldige bestandsnaam: $filename");
-if (is_executable($filename))
+if (file_exists($filename) and !is_writable($filename))
        abort('403 input error', "onwijzigbaar bestand: $filename");
 
 if (!isset($_POST['body']))

diff --git a/foot.inc.php b/foot.inc.php
old mode 100755 (executable)
new mode 100644 (file)