[PHP] Date de dernière modification

Grâce à PHP il est possible d'afficher automatiquement la date de dernière modification de la page en cours :

<?
setlocale(LC_ALL,'french'); 
echo "Dernière modification effectuée le ".date("l j F Y à H:i", filemtime($SCRIPT_FILENAME));
?> 

Alternative :

<?
setlocale(LC_ALL,'french'); 
echo "Dernière modification effectuée le ".date("l j F Y à H:i", getlastmod());
?>