com web/php: Redirect old links to the tips page to urlhowto: error.php
| From: | Hannes Magnusson | Date: | Tue, 24 Dec 2013 02:14:32 +0000 |
| Subject: | com web/php: Redirect old links to the tips page to urlhowto: error.php | ||
| Groups: | php.webmaster | ||
| Request: | Send a blank email to php-webmaster+get-17787@lists.php.net to get a copy of this message | ||
Commit: 824b15e6e86e5155ff1247d66bec674f7b776da5
Author: Hannes Magnusson <bjori@mongodb.com> Mon, 23 Dec 2013 18:14:32 -0800
Parents: 913d3fa2cf83087a58c781bf0faa0ca6338bfabd
Branches: master
Link: http://git.php.net/?p=web/php.git;a=commitdiff;h=824b15e6e86e5155ff1247d66bec674f7b776da5
Log:
Redirect old links to the tips page to urlhowto
Changed paths:
M error.php
Diff:
diff --git a/error.php b/error.php
index 39433af..7f30b14 100644
--- a/error.php
+++ b/error.php
@@ -443,6 +443,10 @@ $uri_aliases = array (
# Bugfixes
"array_sort" => "sort", // #64743
"array-sort" => "sort", // #64743
+
+ # Removed pages
+ "tips.php" => "urlhowto",
+ "tips" => "urlhowto",
);
$external_redirects = array(