1
0
mirror of https://github.com/php/web-php.git synced 2026-03-23 23:02:13 +01:00

try to let this moved mirror-info file used for error handler setting too

This commit is contained in:
Gabor Hojtsy
2006-02-26 19:29:56 +00:00
parent 60ab164a6f
commit 127f6eaaf8

View File

@@ -58,6 +58,10 @@ if (preg_match("!(.*\\.php)3$!", $URI, $array)) {
// BC: handle moving english manual down into its own directory (also supports
// default language manual accessibilty on mirror sites through /manual/filename)
if (preg_match("!^manual(/[^/]*)$!", $URI, $array)) {
// Special case for mirror checking
if ($array[1] == 'mirror-info') {
mirror_redirect("/manual/mirror-info.php");
}
mirror_redirect("/manual/$LANG$array[1]");
} elseif (preg_match("!^manual/html/([^/]+)$!", $URI, $array)) {
$array[1] = preg_replace("!.html$!", ".php", $array[1]);