average ping from server

ping.php

#!/usr/local/bin/php -q
<?php

// php ping.php google.com

$sHost = escapeshellarg($argv[1] ?? 'localhost');
$sCmd = "ping {$sHost}";

echo $sCmd . "\n";

$proc = popen($sCmd, 'r');

$aNums = [];
while (!feof($proc)) {
	$sLine = fread($proc, 4096);

	$aParams = array_filter(explode(" ", $sLine), function ($sParams) {
		return strpos($sParams, '=') !== false || !strpos($sParams, 'time');
	});

	$aNums[] = str_replace('time=', '', reset($aParams));

	echo round(array_sum($aNums) / count($aNums), 8) . " Ping\n";
    flush();
}