php如何获取文件修改时间

要获取文件的修改时间，可以使用PHP中的filemtime()函数来获取。示例如下：

$filename = 'example.txt';

if (file_exists($filename)) {
    $modTime = filemtime($filename);
    echo "文件最后修改时间是：" . date("Y-m-d H:i:s", $modTime);
} else {
    echo "文件不存在";
}

在上面的示例中，首先检查文件是否存在，然后使用filemtime()函数获取文件的修改时间，并使用date()函数将时间戳格式化为可读的日期时间格式。