PHP获取文件扩展名的4种方法
本文实例讲述了PHP获取文件扩展名的4种方法。分享给大家供大家参考,具体如下:
$filename="123.jpg";
//方法一:
functionget_ext($file_name){
returnarray_pop(explode('.',$file_name));
//用.号对字符串进行分组
}
echoget_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程序设计有所帮助。
热门推荐
10 财运虎年祝福语简短语
11 单亲爸爸春节祝福语简短
12 狗狗上厕所训练
13 植物种植祝福语简短
14 翻译考试祝福语朋友简短
15 个人周年庆简短祝福语
16 狗狗怎么训练
17 分别祝福语简短搞笑英文
18 生日广州男生祝福语简短