mirror of
https://github.com/php/web-php.git
synced 2026-03-23 23:02:13 +01:00
5b648aa934
use direct links with better link text and remove reference to local search which is not working (and if it will work, it will work on all mirror sites)
33 lines
1.2 KiB
PHP
33 lines
1.2 KiB
PHP
<?php
|
|
// $Id$
|
|
$_SERVER['BASE_PAGE'] = 'mirrors.php';
|
|
include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc';
|
|
include_once $_SERVER['DOCUMENT_ROOT'] . '/include/mirrortable.inc';
|
|
commonHeader("Mirror Sites");
|
|
?>
|
|
|
|
<h1>Mirror Sites</h1>
|
|
|
|
<p>
|
|
Here you can find information about the mirrors of PHP.net. This page only
|
|
lists the official mirrors, registered in our database. The mirrors automatically
|
|
detected to be outdated or disfunctional are not listed for your convinience, so
|
|
there may be a mirror (or some mirrors) with problems in your country additionaly
|
|
to those listed here. Therefore if you cannot find mirror sites in your country
|
|
here, or the mirror site you used seems to be disappeared, check back later.
|
|
</p>
|
|
<p>
|
|
We would like to advice you to choose a mirror site close to use in your
|
|
everyday work. All mirror sites are expected to provide the same service.
|
|
This means that you don't loose anything, if you go with a local mirror
|
|
site, but you gain speed. The current mirror is highlighted in the list below.
|
|
</p>
|
|
<p>
|
|
If you are interested in hosting a mirror of this site,
|
|
<a href="/mirroring.php">read our mirroring page</a>.
|
|
</p>
|
|
|
|
<?php
|
|
mirror_list();
|
|
commonFooter();
|