怎样从一个标准url里取出文件的扩展名？

方法1：
$arr = parse_url($url);
$file = basename($arr["path"]);
$ext = explode(”.”,$file);
echo $ext[1];

方法二：
$arr = explode('.', $url);
echo end($arr);

方法三：
echo substr($url, strrpos($url, '.') + 1);

方法四：
$pattern = '/.+\.(.+)/';
preg_match($pattern, $url, $matches);
echo end($matches);