PHP做视频网站，让程序自动实现视频格式转换、设置视频大小、生成视频缩略图