1
0
mirror of https://github.com/php/web-php.git synced 2026-03-27 16:52:12 +01:00
Files
archived-web-php/mirrors.php
jim winstead 4b55dbd28d Squeeze out about 500 bytes of unnecessary data in the header and footer. This
amounts to 336,467,736 bytes less traffic that www.php.net would have had to
send on Friday. (More or less.) Or 74,302,558 bytes less data that would have
been sent for requests to the home page so far this month.
2002-02-03 20:52:36 +00:00

58 lines
1.2 KiB
PHP

<?php
require_once 'prepend.inc';
if (isset($FROM) && isset($country)) {
header("Location: $country$FROM");
exit;
}
commonHeader("Mirror Sites");
?>
<h1>Mirror Sites</h1>
<p>
Here you can find more information about the mirrors
of php.net.
</p>
<p>
Pick a mirror site close to you (the current mirror is highlighted), or visit
the provider's homepage:
</p>
<p>
<table border="0" cellpadding="2" cellspacing="1" width="100%">
<tr bgcolor="#cccccc">
<th>Country</th>
<th>Mirror Address</th>
<th>Provider</th>
<th>Default Language</th>
</tr>
<?php
$mprevious = 'aa';
foreach ($MIRRORS as $murl => $mdata) {
if ($mdata[4] != 1) {
continue;
}
echo '<tr bgcolor="' . ($MYSITE==$murl ? '#ffffcc' : '#e0e0e0') . '"><td>';
if ($mprevious != $mdata[0]) {
echo $COUNTRIES[$mdata[0]];
} else {
echo "&nbsp;";
}
echo '</td><td>' . make_link($murl, $murl) .
'</td><td>' . make_link($mdata[3], $mdata[1]) .
'</td><td>' . $LANGUAGES[$mdata[6]] . '</td></tr>';
$mprevious = $mdata[0];
}
?>
</table>
</p>
<p>
If you are interested in hosting a mirror of this site,
<?php print_link("/README.mirror", "here's how"); ?>.
</p>
<?php commonFooter(); ?>