diff --git a/mirroring.php b/mirroring.php index 7122c62b2..33ccacd55 100644 --- a/mirroring.php +++ b/mirroring.php @@ -2,6 +2,22 @@ // $Id$ $_SERVER['BASE_PAGE'] = 'mirroring.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; +$SIDEBAR_DATA = ' +

Existing mirror sites

+

+ Properly working mirror sites are listed on our + mirrors page. +

+ +

CVS repository mirroring

+

+ If you are interested in using a local copy of our + CVS repository for yourself, we provide + CVSUp instructions + separately. +

+'; + site_header("Mirroring The PHP Website"); // Get a minute to print out for the cron example @@ -289,27 +305,28 @@ $minute = rand(0, 59);

Mirror Setup Troubleshooting

-

+

Data Registered About Official Mirrors

@@ -371,7 +389,7 @@ $minute = rand(0, 59);

- Thank you for being a mirror! + Thank you for providing a mirror!