PHPでファイル拡張子を取得する方法

$pic = 'abc.3434.342.12123.123.exe';
$pics =explode('.' , $pic);
< p>/*配列の合計数を取得し、最後の数を取得します*/
echo $num = count($pics);
echo ''.$pics[$num-1];< ;/p>
< ;p>/*配列を走査して最後の要素を取得*/
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()関数の戻り値の拡張インデックスに相当する値*/
$res = pathinfo ($pic); //5
var_dump($res);
echo $ res['extension'].'';
/*文字列インターセプト、下 3 桁*/
echo substr($pic, -3, 3) ;
?>