Como obtener el tiempo de la ultima actualizacion de un archivo

[Montes28]

NSD gracias por responder y por tus recomendaciones. hice el ejemplo del manual pero no me funciona.

Código PHP:

$nombre_archivo = 'http://192.168.102.8/app1/01.gif';
if (file_exists($nombre_archivo)) {
    echo "La última modificación de $nombre_archivo fue: " . date("F d Y H:i:s.", filectime($nombre_archivo));
}