要使用 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() 函数将时间戳转换为可读的日期和时间格式。最后，我们输出结果。