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