Merge "Let built-in web server handle .php requests"

diff --git a/maintenance/dev/includes/router.php b/maintenance/dev/includes/router.php
index 77b0e61..9917a4f 100644 (file)
--- a/maintenance/dev/includes/router.php
+++ b/maintenance/dev/includes/router.php
@@ -54,13 +54,7 @@ if ( !is_readable( $file ) ) {
 }
 $ext = pathinfo( $file, PATHINFO_EXTENSION );
 if ( $ext == 'php' || $ext == 'php5' ) {
-       # Execute php files
-       # We use require and return true here because when you return false
-       # the php webserver will discard post data and things like login
-       # will not function in the dev environment.
-       require $file;
-
-       return true;
+       return false;
 }
 $mime = false;
 // Borrow mime type file from MimeAnalyzer