From b9c58ef587fd46ce55fde20f7d541edbea65507a Mon Sep 17 00:00:00 2001
From: Gabor Hojtsy <goba@php.net>
Date: Fri, 8 Aug 2003 13:39:04 +0000
Subject: [PATCH] Drop search information alltogether, add base page and new
 include

---
 mirror.php | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/mirror.php b/mirror.php
index e508679a0..7ceba6292 100644
--- a/mirror.php
+++ b/mirror.php
@@ -1,5 +1,7 @@
 <?php
-include_once "prepend.inc";
+// $Id$
+$_SERVER['BASE_PAGE'] = 'mirror.php';
+include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc';
 commonHeader("Information About This PHP Mirror Site");
 ?>
 
@@ -24,7 +26,6 @@ commonHeader("Information About This PHP Mirror Site");
 
 <ul>
  <li>Default language is <?php echo $LANGUAGES[default_language()]; ?></li>
- <?php //<li>Local search support is <?php echo have_search() ? "available" : "not available"; </li> ?>
  <li>Local visitor statistics is <?php echo have_stats() ? "available" : "not available"; ?></li>
 </ul>