[Réseau] Date de modification d'une page web distante

Bonjour à tous,

quelqu'un sait comment faire pour connaitre la date de modification d'une page web distante ?

Merci de votre aide

Vous n'obtiendrez pas cette information dans tous les cas d'autant plus si le serveur n'est pas configuré pour vous la donner. Voici une solution utilisant l'extension cURL (c'est un timestamp qui est retourné et la valeur -1 si cette information n'est pas disponible pour une raison ou pour une autre) :

Code:

---

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18

<?php function http_filemtime($url, $timeout = 10) { $ret = -1; $ch = curl_init($url); curl_setopt($ch, CURLOPT_TIMEOUT, $timeout); curl_setopt($ch, CURLOPT_CONNECTTIMEOUT, $timeout); curl_setopt($ch, CURLOPT_FILETIME, TRUE); curl_setopt($ch, CURLOPT_NOBODY, TRUE); if (curl_exec($ch)) { $ret = curl_getinfo($ch, CURLINFO_FILETIME); } curl_close($ch);   return $ret; }   echo http_filemtime('http://impots.gouv.fr');

---

:aie:

Merci de votre aide