Bonjour à tous,
quelqu'un sait comment faire pour connaitre la date de modification d'une page web distante ?
Merci de votre aide
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 : Sélectionner tout - Visualiser dans une fenêtre à part
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');
Vous avez un bloqueur de publicités installé.
Le Club Developpez.com n'affiche que des publicités IT, discrètes et non intrusives.
Afin que nous puissions continuer à vous fournir gratuitement du contenu de qualité, merci de nous soutenir en désactivant votre bloqueur de publicités sur Developpez.com.
Partager