¿Cómo obtener la hora del último acceso al archivo con PHP?

 
<?php
// imprime p.ej. se accedio a un_archivo.txt en: December 29 2002 22:16:23.
$nombre_archivo = 'un_archivo.txt';
if (file_exists($nombre_archivo)) {
    echo "se accedio a $nombre_archivo en: " . date("F d Y H:i:s.", fileatime($nombre_archivo));
}
?>