本文实例讲述了php简单获取文件扩展名的方法。分享给大家供大家参考。具体实现方法如下：
?
|
1
2
3
4
5
6
7
8
9
10
11
12
|
<?php
function get_file_extension($file_name)
{
/* may contain multiple dots */
$string_parts = explode('.', $file_name);
$extension = $string_parts[count($string_parts) - 1];
$extension = strtolower($extension);
return $extension;
}
$str="img.jpg";
echo get_file_extension($str);//输出：jpg
?>
|
相关文章
猜你喜欢
- 64M VPS建站：怎样优化以提高网站加载速度？ 2025-06-10
- 64M VPS建站：是否适合初学者操作和管理？ 2025-06-10
- ASP.NET自助建站系统中的用户注册和登录功能定制方法 2025-06-10
- ASP.NET自助建站系统的域名绑定与解析教程 2025-06-10
- 个人服务器网站搭建：如何选择合适的服务器提供商？ 2025-06-10
