PHP获取文件后缀名的6种简单方法！

<?php
//php获取扩展名的方法
function get_extension1($file){
   return substr(strrchr($file, '.'), 1);
}



function get_extension2($file){
   //return substr($file, strrpos($file, '.')+1 );
   return substr($file, strrpos($file, '.')+1,  strlen ( $file ) - 1 );
}

 function get_extension3($file){
    $arr = explode('.', $file);
   return end($arr);
}


 function get_extension4($file){
   $arr= explode('.', $file);
   return array_pop($arr);
}


 function get_extension5($file){
   $arr= explode('.', $file);
   return $arr[count($arr) - 1]; 
}

function get_extension6($file){
   $info = pathinfo($file);
   return $info['extension'];
}

function get_extension7($file){
return pathinfo($file, PATHINFO_EXTENSION);
}

$path = "a.txt.jpg.gif.png.jpg.html";
echo get_extension1($path);echo"<br>";
echo get_extension2($path);echo"<br>";
echo get_extension3($path);echo"<br>";
echo get_extension4($path);echo"<br>";
echo get_extension5($path);echo"<br>";
echo get_extension6($path); echo"<br>";
echo get_extension7($path); echo"<br>";