2694 Tipps & Tricks
Kategorie: Programmieren / PHP Tipp im neuen Fenster anzeigen
Datei Informationen (539 x gelesen)

<?
$datei="index.php";

//Datum und Uhrzeit der letzten Dateiänderung
echo date("d.m.Y H:i:s"filemtime($datei));
echo "<br>";

//Datum und Uhrzeit des letzten Zugriffs
echo date("d.m.Y H:i:s"fileatime($datei));
echo "<br>";

//Dateigrösse
echo filesize($datei)." bytes";
echo "<br>";


//diverse Datei-Infos
echo "<pre>";
print_r (stat($datei));
echo "</pre>";
?>

Es wird keine Verantwortung übernommen. Die Benutzung erfolgt auf eigene Gefahr.
alle Tipps & Tricks
Validator XHTML + CSS ® 2012   GADDO.DE   BAR-GAMES.DE