cvs: php-bugs-web / error.php
| From: | Rasmus Lerdorf | Date: | Sun, 11 Nov 2001 06:57:09 +0000 |
| Subject: | cvs: php-bugs-web / error.php | ||
| Groups: | php.mirrors | ||
| Request: | Send a blank email to php-mirrors+get-7368@lists.php.net to get a copy of this message | ||
rasmus Sun Nov 11 01:57:09 2001 EDT
Added files:
/php-bugs-web error.php
Log:
Redirect bugs.php.net/12345 to the right bug
Index: php-bugs-web/error.php
+++ php-bugs-web/error.php
<?php
$uri=substr($REDIRECT_ERROR_NOTES,strpos($REDIRECT_ERROR_NOTES,$DOCUMENT_ROOT)+strlen($DOCUMENT_ROOT)+1);
if ($uri[0] == "/") $uri = substr($uri,1);
Header("Location: http://bugs.php.net/bug.php?id=$uri");
?>