php使用ffmpeg-php扩展库进行视频截图