PHP - data di ultima modifica

Con PHP è possibile visualizzare automaticamente l'ultima modifica della pagina corrente:

<? 
setlocale(LC_ALL,'it_IT');  
echo "Ultima modifica fatta il ".date("l j F Y a H:i", filemtime($SCRIPT_FILENAME)); 
?> 

Alternativa :

<? 
setlocale(LC_ALL,'it_IT');  
echo "Ultima modifica effettuata il ".date("l j F Y a H:i", getlastmod()); 
?>