Discussion :

[laurent_h]

Bonjour à tous,

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

Merci de votre aide

[julp]

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');

[laurent_h]

Merci de votre aide