rename all html files to php

[minimedit.git] / edit.php

diff --git a/edit.php b/edit.php
index afa6c6d4868c1948ade99c31579726d52ea9a358..94206bb054732b0410370b3b6bfe135f3c3bae77 100755 (executable)
--- a/edit.php
+++ b/edit.php
@@ -10,7 +10,7 @@ if (!$_POST)
 if (!isset($_SERVER['PATH_INFO']) or strlen($_SERVER['PATH_INFO']) <= 1)
        abort('409 input error', "geen bestand aangeleverd");
 
-$filename = preg_replace('/(?:\.html)?$/', '.html', ltrim($_SERVER['PATH_INFO'], '/'), 1);
+$filename = preg_replace('/(?:\.php)?$/', '.php', ltrim($_SERVER['PATH_INFO'], '/'), 1);
 if (file_exists($filename) and !is_writable($filename))
        abort('403 input error', "ongeldige bestandsnaam: $filename");
 if (is_executable($filename))