如果我有这样的代码：
$file = basename($filename);
如何获取$文件的文件扩展名？变量$file可以包含任何类型的文件,如index.PHP或test.jpeg.
使用
pathinfo()功能：
$path_parts = pathinfo('/www/htdocs/index.html');
echo $path_parts['dirname'],"\n";
echo $path_parts['basename'],"\n";
echo $path_parts['extension'],"\n";
echo $path_parts['filename'],"\n";
或简单地：
echo pathinfo($file,PATHINFO_EXTENSION);
你当然可以找到最后的“”.在文件名,并得到一切(相对容易),但为什么重新发明轮？