如果文件名是filename.jpg.txt,在php中查找文件扩展名的简单方法是什么?
问问题
119 次
3 回答
4
您可以使用 pathinfo 函数,该函数将提供有关文件路径的有用信息,包括扩展名
于 2012-04-24T10:06:15.127 回答
0
您可以尝试拆分字符串,explode(".", $string);
然后检查返回的数组的最后一个元素。
于 2012-04-24T10:07:22.707 回答
0
function file_extension($filename)
{
$path_info = pathinfo($filename);
return $path_info['extension'];
}
使用此函数获取文件的实际类型
于 2012-04-24T10:07:24.643 回答