Add .php files

mirrors.php

@@ -0,0 +1,30 @@
+<?
+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="/new_mirror.php3">here's
+how</A>.
+</SMALL>
+<P>
+<?
+commonFooter();
+?>