Это использует ffmpeg в Linux и вызывается из PHP, но если вы можете использовать ffmpeg, то это не имеет значения:
ffmpeg -i path/to/your/video.3gp -an -ss 00:00:00 -t 00:00:01 -y -s 400x300 path/to/your/image%d.jpg
Обратите внимание на «% d»; вы генерируете только один кадр, но ffmpeg по-прежнему нуждается в этом, поэтому он знает, куда поместить число, когда генерирует изображения. Таким образом, вы получите имя типа "image1.jpg"