PHP 获取文件扩展名

Posted 2021-05-14

$ext = explode('.',$HTTP_POST_FILES['fichero']['name']);
$ext = $ext[count($ext)-1];
if($ext == "pjpeg") $ext = "jpg";