Alle Dateien, die früher im Browser geöffnet worden sind, können mit diesem Script gedownloadet werden.

<?php

// Dateiname -> test.txt
$file_ext = "txt";
$filename = "test";

header("Content-type: application/$file_ext");
header("Content-Disposition: attachment; 

filename=".$filename.".".$file_ext."");
readfile("$filename.$application");

?>

Gibt das Erstellungsdatum bzw. das Änderungsdatum einer beliebigen Datei aus.

<?php   

function FileDate($file) {
 $date = filectime($file);
 $out = date('F j, Y,H:i:s', $date);   

 return $out;
}   

echo FileDate("datei.php");   

?>