PHP ファイルの作成日時、更新日時、アクセス日時を取得する

処理サンプルコード:

header(“Content-Type:text/html;charset=utf-8”);

$datetime = ‘2014-07-01 12:12:56’;
echo $datestamp = strtotime($datetime);

$a1=filemtime(“time.php”);
echo “更新日時:”.date(“Y-m-d H:i:s”,$a1);

$a2=filectime(“time.php”);
echo “作成日時:”.date(“Y-m-d H:i:s”,$a2);

$a3=fileatime(“time.php”);
echo “アクセス日時:”.date(“Y-m-d H:i:s”,$a3);