From d2e9db9150ce137fbc93352e67e3bde4cd695055 Mon Sep 17 00:00:00 2001
From: Gabor Hojtsy <goba@php.net>
Date: Mon, 11 Sep 2006 21:01:19 +0000
Subject: [PATCH] interlink mirror related information

---
 mirror.php | 14 ++++++++++++++
 1 file changed, 14 insertions(+)

diff --git a/mirror.php b/mirror.php
index d4c61b790..b4a8bb8ce 100644
--- a/mirror.php
+++ b/mirror.php
@@ -2,6 +2,20 @@
 // $Id$
 $_SERVER['BASE_PAGE'] = 'mirror.php';
 include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc';
+$SIDEBAR_DATA = '
+<h3>More mirror sites</h3>
+<p>
+ Find more available mirrors on our <a href="/mirrors.php">mirror
+ sites page</a>.
+</p>
+
+<h3>Mirroring PHP.net</h3>
+<p>
+ If you are interested in mirroring our website, you can
+ find more information and setup details on <a href="/mirroring.php">our
+ mirroring page</a>.
+</p>
+';
 site_header("Information About This PHP Mirror Site");
 ?>