A simple class to Ping a distant url with PHP.
php 7 + Curl pre-installed
require('Ping.php');
$pg = new Ping();
$pg->getPing('https://www.infocarto.fr', 3500);
$pg->getHttpCodeHR($pg->pingR['httpCode']);
print_r($pg->pingR);