PHP File Information

<?
// simple Script which prints out the last modified time and size of a file.
$file = $_SERVER['SCRIPT_FILENAME'];
$last_modified = filemtime($file);
$file_size = filesize($file);
$file_type = filetype($file);
printf("File: $file, Size: $file_size Bytes, Last Modified: %s", date("Y-M-d h:i:s", $last_modified));
?>