mirror of
https://github.com/php/web-php.git
synced 2026-03-24 07:12:16 +01:00
31 lines
758 B
PHP
31 lines
758 B
PHP
<?
|
|
require("shared.inc");
|
|
commonHeader("Mirrors Page");
|
|
?>
|
|
<FORM ACTION="redirect.php" METHOD="POST">
|
|
<B>Pick a mirror site close to you:</B><BR>
|
|
<SELECT NAME="URL"><?
|
|
$mirror_sites=$MIRRORS;
|
|
reset($mirror_sites);
|
|
while ($site = key($mirror_sites)):
|
|
next($mirror_sites);
|
|
$country=$mirror_sites[$site][0];
|
|
$place=$mirror_sites[$site][1];
|
|
$type=$mirror_sites[$site][4];
|
|
if ($type==1 && substr($site,0,7)=="http://"):
|
|
echo "<OPTION VALUE=\"$site\">$place ($COUNTRIES[$country])\n";
|
|
endif;
|
|
endwhile;
|
|
?></SELECT>
|
|
<INPUT TYPE="image" SRC="/gifs/b-go.gif" ALIGN=absmiddle WIDTH=36 HEIGHT=21 BORDER=0><BR>
|
|
</FORM>
|
|
<P>
|
|
<SMALL>
|
|
If you are interested in hosting a mirror of this site, <A HREF="/README.mirror">here's
|
|
how</A>.
|
|
</SMALL>
|
|
<P>
|
|
<?
|
|
commonFooter();
|
|
?>
|