com web/php: Fix URI aliases (like php.net/logos) after bug #67871 fixes: error.php
| From: | Hannes Magnusson | Date: | Sun, 06 Dec 2015 17:53:47 +0000 |
| Subject: | com web/php: Fix URI aliases (like php.net/logos) after bug #67871 fixes: error.php | ||
| Groups: | php.webmaster | ||
| Request: | Send a blank email to php-webmaster+get-24362@lists.php.net to get a copy of this message | ||
Commit: 0c7b3fd4c70ed9e99b8ad765719df932b2599e85
Author: Hannes Magnusson <bjori@php.net> Sun, 6 Dec 2015 09:53:47 -0800
Parents: 2e26165e68c939cef431fd0152d9a86f90d4625e
Branches: master
Link: http://git.php.net/?p=web/php.git;a=commitdiff;h=0c7b3fd4c70ed9e99b8ad765719df932b2599e85
Log:
Fix URI aliases (like php.net/logos) after bug #67871 fixes
Bugs:
https://bugs.php.net/67871
Changed paths:
M error.php
Diff:
diff --git a/error.php b/error.php
index ff86854..e302b7a 100644
--- a/error.php
+++ b/error.php
@@ -491,6 +491,10 @@ $external_redirects = array(
if (isset($uri_aliases[$URI])) {
$URI = $uri_aliases[$URI];
+ /* If it was a page alias, redirect right away */
+ if (file_exists($_SERVER['DOCUMENT_ROOT'] . "/$URI.php")) {
+ mirror_redirect("/$URI.php");
+ }
}
// ============================================================================