Can I tell when a file was modified?

[jdc44]

I know how to read a directory and list the files that are in it. Is there a way to tell when each file I find was last modified?

$dir = "path/to/my/directory/folder";
if ($handle = opendir($dir)) {
   ///// This is the correct way to loop over the directory. 
   while (false !== ($file = readdir($handle))) { 
      $myFiles[] = $file;
      echo "<p>$file</p>";
   }
}

Thanks for any tips.
JohnC

[devinemke]

run each $file thru [man]filemtime[/man]

[jdc44]

Yes, thanks.
"filemtime" was listed when searching php manual for "file modify", but didn't know what it was.