视频转GIF

从视频中截取片段生成 GIF，支持时间范围选择和文字叠加。