取得文件扩展名方法

取得文件扩展名方法一:
$r=basename(“1/333.jpg.exe.txt”);
$arr=explode(“.”,$r);
echo “.”.$arr[count($arr)-1];

取得文件扩展名方法二:

$r=pathinfo(“1/333.jpg.exe.txt”);
echo $r[‘extension’];


关注公众号,了解更多it技术(it问答网

发表评论

电子邮件地址不会被公开。