com web/php: Redirect old links to the tips page to urlhowto: error.php
| From: | Paul Dragoonis | 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-22283@lists.php.net to get a copy of this message | ||
Commit: a948798cf9c00351567a8370d6e1a55aed16c561
Author: Hannes Magnusson <bjori@mongodb.com> Mon, 23 Dec 2013 18:14:32 -0800
Parents: f2807d4e469139cb2be01c699c1d6d92c3dcb5fa
Branches: master
Link: http://git.php.net/?p=web/php.git;a=commitdiff;h=a948798cf9c00351567a8370d6e1a55aed16c561
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(