写一个函数，尽可能高效的，从一个标准url里取出文件的扩展名，

//写一个函数，尽可能高效的，从一个标准url里取出文件的扩展名，
//例如：http://www.sina.com.cn/abc/de/fg.php?id=1 需要取出php或.php（新浪）
$url='http://www.sina.com.cn/abc/de/fg.php?id=1&a=c&t=12';

echo getExt($url);
echo "<br/>";
function getExt($url){

    $arr=parse_url($url);
    //方法一、
    /*$name=basename($arr['path']);
    $extArr=explode('.',$name);
    return $extArr[1];*/
     //方法二、
    /*$path=$arr['path'];
    $str=strrchr($path,'.');
    return $str;*/
    //方法三、
    $pathArr=pathinfo($url);
    //show_dump($pathArr);
    $str = $pathArr['extension'];
    list($type, $vars) = explode('?',$str);
    return $type;
}