PHP: Как получить расширение файла из строки

$file = 'image.jpeg';  
$ext = pathinfo($file, PATHINFO_EXTENSION);
echo 'Расширение файла: ' . $ext;