PHP에서 파일 확장자를 얻는 방법

$pic = 'abc.3434.342.12123.123.exe';
$pics = explode('.' , $pic);
/*得到数组总数，然后取最后一个*/
echo $num = count($pics);
echo ''.$pics[$num-1];
/*遍历数组，取得最后一个元素*/
foreach ($pics as $value) //2
{
$a = $value;
}
echo $a.'';
/*直接输出数组最后一个元素*/
echo end($pics);
echo '';
/*单出数组最后一个元素，注意和end()的区别*/
//echo array_pop($pics);
/*先按照键值倒序排列这个数组，然后单出第一个元素*/
krsort($pics);
echo array_shift($pics);
echo '';
/*pathinfo()函数返回值的extension索引对应的值*/
$res = pathinfo($pic); //5
var_dump($res);
echo $res['extension'].'';
/*字符串截取，取最后三位即可*/
echo substr($pic , -3 , 3);
?>