获取远程文件的最后修改日期

从PHP的文章：

<?php// outputs e.g.  somefile.txt was last modified: December 29 2002 22:16:23.$filename = 'somefile.txt';if (file_exists($filename)) {    echo "$filename was last modified: " . date ("F d Y H:i:s.", filemtime($filename));}?>

filemtime（）是这里的关键。但是我不确定是否可以获取 远程 文件的最后修改日期，因为服务器应该将其发送给您……也许在HTTP标头中？