要使用 PHP 的 file() 函数来获取文件的修改时间，您需要结合 filemtime() 函数。filemtime() 函数会返回文件的最后修改时间戳。以下是一个示例：
<?php// 指定文件路径$file_path = 'example.txt';// 获取文件的最后修改时间戳$modified_time = filemtime($file_path);// 将时间戳转换为可读格式$modified_date = date('Y-m-d H:i:s', $modified_time);// 输出结果echo "文件最后修改时间: " . $modified_date;?>在这个示例中，我们首先指定了要检查的文件路径。然后，我们使用 filemtime() 函数获取文件的最后修改时间戳。接着，我们使用 date() 函数将时间戳转换为可读的日期和时间格式。最后，我们输出结果。
