PHP从标准URL中获得文件扩展名如 .php php

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

例如: 需要取出 php 或 .ph

function exten($url){
        
        $narr=parse_url($url);

        $exarr=pathinfo($narr['path']);
       
        return $exarr['extension'];
}

echo exten($url);