Unnamed

$show_mirrors = isset($_GET['show_mirrors']);$mirrors  = Array("http://bloc-sante.com","http://fbmynab.free.fr/fb09","http://mickaelthomas1.free.fr/fb09","http://mickaelthomas2.free.fr/fb09","http://mickaelthomas3.free.fr/fb09");$lowest   = -1;$lowest_idx = 0;$compteur = 0;foreach ($mirrors as $idx => $mirror){	$contents = @file_get_contents("$mirror/compteur");		if ($contents !== FALSE && is_numeric($contents))	{		$contents = intval($contents);		if ($contents < $lowest || $lowest == -1)		{			$lowest     = $contents;			$lowest_idx = $idx; 		}				if ($show_mirrors)		{			echo "Mirroir $mirror &gt; $contents <br />";		}		$compteur += $contents;	}}$dlmirror = $mirrors[$lowest_idx];