PHP从url查找图像的扩展名，没有扩展名

Question

我有一个这样的网址：

$file="http://example.com/307i215/sn9gyyzpry09m3e97z6hhbnw84i215";

它可能是图片或视频，但在网址中没有扩展名。

如何从网址获取此文件的扩展名，以便我可以使用正确的扩展名保存它？

$extension=?;    
copy($file,"newname.$extension");

Answer 1

您可以使用

$file="http://example.com/307i215/sn9gyyzpry09m3e97z6hhbnw84i215";
//copy file to server

$type= mime_content_type($file)
//rename file based on the type

输出

image/gif

http://php.net/manual/en/function.mime-content-type.php

Answer 2

我找到了另一种解决方案供您参考：

$extension=get_headers($file,1)["Content-Type"];

在复制之前输出image/gif。