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

方法っていうほどじゃないけど、最近なぜかコレをやる必要が多かったので次もあることを期待してメモ

$file_path = '';
$pathinfo = pathinfo($file_path);
$extension = isset($pathinfo['extension']) ? $pathinfo['extension'] : '';