Спасибо ... Я попытался немного изменить вашу версию, и мне кажется, это работает:
$c = curl_init('http://...');
curl_setopt($c, CURLOPT_HEADER, 1); // Include the header
curl_setopt($c, CURLOPT_RETURNTRANSFER, 1);
curl_setopt($c, CURLOPT_FILETIME, 1);
curl_exec($c);
$result = curl_getinfo($c);
if (curl_errno($c))
die(curl_error($c));
echo date('G:i M jS \'y',(int)$result['filetime']);