PHP从一个标准 url 里取出文件的扩展名

<?php

/**
从一个标准 url 里取出文件的扩展名
* 方法一
$arr = array(4) { 
["scheme"]=> string(4) "http" 
["host"]=> string(7) "127.0.0.1" 
["path"]=> string(19) "/202101b/index.html" 
["query"]=> string(17) "id=h9lhg9&p=6&g=1" }

$ext =array(2) {  [0]=> string(5) "index"  [1]=> string(4) "html" }   
*/
$url="http://127.0.0.1/202101b/index.html?id=h9lhg9&p=6&g=1";
$arr = parse_url($url);   //解析路由
$file = basename($arr['path']); //获取path部分内容
$ext = explode(".",$file);  //分割字符串
echo $ext[1];  //获取扩展名

/*
从一个标准 url 里取出文件的扩展名
方法二
pathinfo(path,options)  以数组的形式返回文件路径的信息
options:
    PATHINFO_DIRNAME - 只返回 dirname