📅  最后修改于: 2022-03-11 14:54:50.054000             🧑  作者: Mango
$filename = 'somefile.txt';
if (file_exists($filename)) {
echo "$filename last modified: ".date ("F d Y H:i:s.", filemtime($filename));
// somefile.txt was last changed: December 29 2020 22:16:23.
}
// filectime: when created
// filemtime: last modified
// fileatime: last accessed