用getID3获取视频的时长等信息

   public function get_video_time($url){
        require_once('./vendor/getID3-1.9.19/getid3/getid3.php');//引入getid3
    
        $destName = '.'.$url;//视频的路径，格式："./2020/6/16/scjsacsdcc.mp4"
        $getID3 = new \getID3();//实例化
        $ThisFileInfo = $getID3->analyze($destName); //分析文件，$destName为音视频文件的地址（文件绝对路径）
        $fileduration = $ThisFileInfo['playtime_seconds']; //这个获得的便是音频文件的时长
        return $fileduration;
    }