diff --git a/error.php b/error.php index ab2d5d92c..8fef63690 100644 --- a/error.php +++ b/error.php @@ -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]);