cvs: phpweb / error.php
| From: | Jacques Marneweck | 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;
}
// ============================================================================