您的位置:首页 > 编程语言 > PHP开发

PHP获取文件扩展名的4种方法

2015-11-24 14:45 501 查看
$filename="123.jpg";
//方法一:
function get_ext($file_name){
return array_pop(explode('.', $file_name));
//用.号对字符串进行分组
}
echo get_ext($filename);
//方法二:
$fileEx=strtolower(substr(strrchr($filename,"."),1));
echo $fileEx;
//方法三:
$extend=pathinfo($filename);
echo $extend['extension'];
//方法四:
$filetype=array("image/gif","image/jpeg");
//判断文件扩展名类型是否在该 数组中
if(in_array($_FILES['file']['type'],$filetype)){
//针对上传文件判断
echo $_FILES['file']['type'];
}

希望本文所述对大家PHP程序设计有所帮助。

您可能感兴趣的文章:

内容来自用户分享和网络整理,不保证内容的准确性,如有侵权内容,可联系管理员处理 点击这里给我发消息
标签:  PHP 文件扩展名