php – 获取文件扩展名(basename?)
发布时间:2020-12-13 16:40:45 所属栏目:PHP教程 来源:网络整理
导读:如果我有这样的代码: $file = basename($filename); 如何获取$文件的文件扩展名?变量$file可以包含任何类型的文件,如index.php或test.jpeg. 使用 pathinfo() 功能: $path_parts = pathinfo('/www/htdocs/index.html');echo $path_parts['dirname'],"n";e
如果我有这样的代码:
$file = basename($filename); 如何获取$文件的文件扩展名?变量$file可以包含任何类型的文件,如index.php或test.jpeg.
使用
pathinfo() 功能:
$path_parts = pathinfo('/www/htdocs/index.html'); echo $path_parts['dirname'],"n"; echo $path_parts['basename'],"n"; echo $path_parts['extension'],"n"; echo $path_parts['filename'],"n"; 或简单地: echo pathinfo($file,PATHINFO_EXTENSION); 你当然可以找到最后的“”.在文件名,并得到一切(相对容易),但为什么重新发明轮? (编辑:李大同) 【声明】本站内容均来自网络,其相关言论仅代表作者个人观点,不代表本站立场。若无意侵犯到您的权利,请及时与联系站长删除相关内容! |