Commit: 0c7b3fd4c70ed9e99b8ad765719df932b2599e85 Author: Hannes Magnusson <[email protected]> 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"); + } } // ============================================================================ -- PHP Webmaster List Mailing List (http://www.php.net/) To unsubscribe, visit: http://www.php.net/unsub.php
