Simple happiness

get_headers函数很不错，在我们写一些php代码时，可能会需要获取远程文件的一些信息，比如文件大小、最后修改时间等等，而php内置的相关函数都不支持远程文件，于是我们就用上了get_headers函数。
首先，我们要用到前面的两个自定义函数remote_file_exists（检查远程文件是否存在）、dump（格式化输出数组内容），这两个函数的具体代码都在前面有说过，并且在dump那篇文章中，最后的一段例程代码就是获取远程文件信息头的内容并格式化输出的结果。结果如下：