Codeschnipsel - Dateidatum auslesen

Dateidatum einer Datei auslesen,
bzw. Datum der letzten Änderung anzeigen:

Code:
<?
# Funktion
function dateidatum($datei){
if (file_exists($datei)) {
$datum = date ("F d Y H:i:s.", filemtime($datei));
echo "Datei $datei wurde zuletzt am $datum aktualisiert";
}else{
echo "Datei existiert nicht!";
}}
 
# Aufruf
echo dateidatum("index.php");
?>

Beachten Sie:

Wir übernehmen keinerlei Haftung für irgendwelche Schäden, Ausfälle oder sonstigen Geschehnissen.
Alle Angaben sind ohne Gewähr, Sie handeln auf eigenes Risiko!
Alle genannten Soft- und Hardwarebezeichnungen sowie Markennamen sind Eigentum ihrer jeweiligen Inhaber und unterliegen im Allgemeinen warenzeichen-, marken- oder patentrechtlichem Schutz.
Alle Rechte vorbehalten