cvs: phpweb / error.php

From: Date: Wed, 24 Dec 2003 22:56:09 +0000
Subject: cvs: phpweb / error.php
Groups: php.mirrors 
Request: Send a blank email to php-mirrors+get-22698@lists.php.net to get a copy of this message
jacques Wed Dec 24 17:56:09 2003 EDT Modified files: /phpweb error.php Log: Hacked the Backward Compatibility stuff so things like README.mirror, etc. works. This is a temp fix, I'll prob have a final solution in the next day or two. Merry Christmas! :) Index: phpweb/error.php diff -u phpweb/error.php:1.16 phpweb/error.php:1.17 --- phpweb/error.php:1.16 Wed Dec 24 16:55:56 2003 +++ phpweb/error.php Wed Dec 24 17:56:09 2003 @@ -1,6 +1,6 @@ <?php -// $Id: error.php,v 1.16 2003/12/24 21:55:56 jacques Exp $ +// $Id: error.php,v 1.17 2003/12/24 22:56:09 jacques Exp $ /* @@ -134,9 +134,6 @@ exit; } -// Work with lowercased URI from now -$URI = strtolower($URI); - // ============================================================================ // Define shortcuts for PHP files, manual pages and external redirects $uri_aliases = array ( @@ -187,8 +184,8 @@ "ZEND_CHANGES.txt" => "zend-engine-2.php", // BC "zend2_example.phps" => "zend-engine-2.php", // BC "ZEND_CHANGES_PHP_5_0_0b2.txt" => "zend-engine-2.php", // BC - "NEWS_PHP_5_0_0b2.txt" => "ChangeLog-5.php", // BC - "NEWS_PHP_5_0_0b3.txt" => "ChangeLog-5.php", // BC + "NEWS_PHP_5_0_0b2.txt" => "changelog-5", // BC + "NEWS_PHP_5_0_0b3.txt" => "changelog-5", // BC "manual/about-notes.php" => "manual/add-note", // BC @@ -209,12 +206,24 @@ "rev" => "/manual/$LANG/revcheck.html.gz", "blog" => "/manual/$LANG/build.log.gz", "functions.js.txt" => "http://cvs.php.net/cvs.php/phpdoc/scripts/quickref", + "changelog-5" => "/ChangeLog-5.php", + "zend-engine-2.php" => "/zend-engine-2.php" ); // ============================================================================ // "Rewrite" the URL, if it was a shortcut + + +// Work with lowercased URI from now +//$URI = strtolower($URI); + if (isset($uri_aliases[$URI])) { - $URI = $uri_aliases[$URI]; + $NEWURI = $uri_aliases[$URI]; +} + +$URI = strtolower($URI); +if (isset($NEWURI)) { + $URI = $NEWURI; } // ============================================================================

« previous php.mirrors (#22698) next »