经常使用,就是记不住,这次果断总结下来:
第一种方法获取文件扩展名:
$filename="123.jpg"; $fileEx=strtolower(substr(strrchr($filename,"."),1)); echo $fileEx;
第二种:
$extend=pathinfo($filename); echo $extend['extension']
第三种:
$filetype=array("image/gif","image/jpeg"); //判断文件扩展名类型是否在该 数组中 in_array($_FILES['file']['type'],$filetype);
465286