Data ultima modifica file con php

Per conoscere la data dell'ultima modifica di un file basta utilizzare la funzione filemtime() come nell'esempio:

[CODE]filemtime('indirizzo_del_file.ext');[/CODE]

Il risultato ottenuto sarà qualcosa di simile a:

[CODE]1267614736[/CODE]

Naturalmente la funzione è valida anche per gli altri tipi di file come: immagini, documenti, file php, ecc..

Ovviamente una data così vi servirà a ben poco nella maggiorparte dei casi, per questo motivo se volete formattarla in modo da renderla... più leggibile, è possibile integrare la funzione date, nel seguente modo:

[CODE]

$Data = filemtime('file.html');

$LastMod = "Ultima modifica il: " . date("m/j/y alle h:i",$Data);

?>[/CODE]

ottenendo così qualcosa tipo:

[CODE]Ultima modifica il: 03/3/10 alle 12:12[/CODE]

Alla prossima!