mirror of
https://github.com/php/web-php.git
synced 2026-03-24 07:12:16 +01:00
e7a2250c2c
not working, so add this layout to some more used pages (but still not to the most used pages)
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';
|
|
site_header("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();
|
|
site_footer();
|