$file_name = 'test.mp4';
$kaishi_time = 0;
$jiesu_time = 5;
$px_cicun = '320x240';
$out_file = 'b.gif';
shell_exec('ffmpeg -ss '.$kaishi_time.' -t '.$jiesu_time.' -i '.$file_name.' -s '.$px_cicun.' -f gif -r 1 '.$out_file);
接收的变量$kaishi_time,$jiesu_time,$px_cicun,$out_file
如果不安全的话怎么改,一定要用到这个功能ffmpeg