判断一个文件被修改(转)

1 <?php
2 $a=filectime("log.txt");
3 echo "创建时间：".date("Y-m-d H:i:s",$a);
4 $a=filemtime("log.txt");
5 echo "修改时间：".date("Y-m-d H:i:s",$a);
6 $a=fileatime("log.txt");
7 echo "访问时间：".date("Y-m-d H:i:s",$a);
8 ?>