From 127f6eaaf848dd247743013ee0ddb3ba933ef2fa Mon Sep 17 00:00:00 2001
From: Gabor Hojtsy <goba@php.net>
Date: Sun, 26 Feb 2006 19:29:56 +0000
Subject: [PATCH] try to let this moved mirror-info file used for error handler
 setting too

---
 error.php | 4 ++++
 1 file changed, 4 insertions(+)

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]);