php简单获取文件扩展名的方法

yipeiwu_com6年前PHP代码库

本文实例讲述了php简单获取文件扩展名的方法。分享给大家供大家参考。具体实现方法如下:

<?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
?>

希望本文所述对大家的php程序设计有所帮助。

相关文章

PHP file_exists问题杂谈

PHP file_exists问题杂谈

问题   公司有个框架是基于smarty写的,我负责php的升级,维护人员把新环境布上来之后,测试人员找我提出经常报错(错误:提示找不到文件的)。   我追踪了一下代码,原来是smart...

php利用ffmpeg提取视频中音频与视频画面的方法详解

前言 FFmpeg的名称来自MPEG视频编码标准,前面的“FF”代表“Fast Forward”,FFmpeg是一套可以用来记录、转换数字音频、视频,并能将其转化为流的开源计算机程序。可...

php入门教程之Zend Studio设置与开发实例

php入门教程之Zend Studio设置与开发实例

本文实例讲述了php入门教程之Zend Studio设置与开发方法。分享给大家供大家参考,具体如下: 新建文档的模板设置 新建文档的模板设置 Demo1.php: <...

PHP imagecreatefrombmp 从BMP文件或URL新建一图像

大家都知道php GD库可方便的从URL新建一图像, GD中有imagecreatefromjpeg(),imagecreatefromPNG()....等之类的FUNCTION 可有时...

[PHP]实用函数4

//输出关于PHP和当前请示的信息页面 int phpinfo(void) //返回当前PHP版本号 string phpversion(void) //打印出为本P...