如何使用php获取远程文件的扩展名

Question

某下载地址是这样的：
http://www.example.com/download/down.php?id=1
访问这个地址后弹出一个可保存的包，这个包的扩展名不确定，现在我需要用php来识别这个包的扩展名，多谢。 

Answer 1

试一下$_SERVER中有没有下载的文件名，比如$_SERVER['SCRIPT_FILENAME']，然后在用正则表达式来取后缀名。

Answer 2

你用php的socket函数实现的话，一般可以从对方主机的http响应头里面找到文件全名

Answer 3

用curl系列或fsockopen分析头试试