首页 >php教程 >php手册 >用php获取文件扩展名

用php获取文件扩展名

WBOY
WBOY原创
2016-06-06 19:57:291019浏览

欢迎进入Linux社区论坛,与200万技术人员互动交流 >>进入 用php获取文件扩展名的方法总结,可能不是很全,都是一些常规的方法 ?php //操作的文件 $file = “/Linux/UploadFiles_7565/201211/20121126215424875.gif”; function getext_1($file) { return strto

欢迎进入Linux社区论坛,与200万技术人员互动交流 >>进入

    用php获取文件扩展名的方法总结,可能不是很全,都是一些常规的方法

   

    //操作的文件

    $file = “/Linux/UploadFiles_7565/201211/20121126215424875.gif”;

    function getext_1($file) {

    return strtolower(trim(substr(strrchr($file, '.'), 1)));

    }

    function getext_2($file) {

    return strtolower(trim(pathinfo($file, PATHINFO_EXTENSION)));

    }

    function getext_3($file) {

    return strtolower(trim(substr($file, strrpos($file, '.')+1)));

    }

    function getext_4($file) {

    return strtolower(trim(array_pop(explode('.', $file))));

    }

    function getext_5($file) {

    $tok = strtok($file, '.');

    while($tok !== false) {

    $return = $tok;

    $tok = strtok('.');

    }

    return strtolower(trim($return));

    }

    ?>

用php获取文件扩展名

声明:
本文内容由网友自发贡献,版权归原作者所有,本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容,请联系admin@php.cn