PHP: Trouver la date de modification d’un fichier

Author:
<html>
<head>
 
</head>
<body>
<?php
$file = "test.txt";
outputFileTestInfo( $file );
function outputFileTestInfo( $f ){
   if ( ! file_exists( $f ) ){
       print "$f does not exist<BR>";
      return;
   }
   print "$f was changed on ".date( "D d M Y g:i A", filectime( $f ) )."<br />";
}
?>
</body>
</html>