Get extension of filename in php

$path_info = pathinfo(‘lib.inc.php’);

echo $path_info[‘extension’];