com web/php: Fixed bug#52147 (PHP Website fails for "php.net/mod"): error.php

Commit: 0c729aa021c5afd9b5f4d25cc202ad2bce2d40c3 Author: Hannes Magnusson <bjori@mongodb.com> Wed, 5 Mar 2014 18:38:13 -0800 Parents: 3b508b909893cf4ecd1b305173895a5dd84b8d71 Branches: master Link: http://git.php.net/?p=web/php.git;a=commitdiff;h=0c729aa021c5afd9b5f4d25cc202ad2bce2d40c3 Log: Fixed bug#52147 (PHP Website fails for "php.net/mod") mod.php is special page.. shouldn't be redirected to :] Bugs: https://bugs.php.net/52147 Changed paths: M error.php Diff: diff --git a/error.php b/error.php index 63a2083..23165b9 100644 --- a/error.php +++ b/error.php @@ -484,7 +484,7 @@ if (isset($uri_aliases[$URI])) { // Redirect if the entered URI was a PHP page name (except some pages, // which we display in the mirror's language or the explicitly specified // language [see below]) -if (!in_array($URI, array('mirror-info', 'error')) && +if (!in_array($URI, array('mirror-info', 'error', 'mod')) && file_exists($_SERVER['DOCUMENT_ROOT'] .. "/$URI.php")) { mirror_redirect("/$URI.php"); }