从一个标准的Url提取出文件的扩展名
function getExt($url){
$arr = parse_url($url);
$file = basename($arr['path']);// basename函数返回路径中的文件名部分
$ext = explode('.', $file);
return $ext[count($ext)-1];
}
echo "<br/>";
echo getExt("http://www.baidu.com/index.html");