PHP 動画ファイル（.mp4など)を画像ファイル(.jpgなど)に変換したい

Question

ボールドテキストPHPを使ってアップロードされた動画を画像へと変換したいと考えております。

この処理を実現したいと色々と試行錯誤しているところです。

そこで、PHPを使い動画ファイルー＞画像ファイルへと変換してくれる関数やライブラリありましたら
ご教授お願いします。

出来ればライブラリではない方が良いです。

Answer 1

自分もgoogle で "PHP 動画 画像 書き出し" で検索してみました。
動作未確認ですが、下記ページを見つけました。
http://d.hatena.ne.jp/haru-komugi/20071116/1195193040

ソースコードの
$time = "00:00:10";
の部分を変更することで、取りたい時間の画像を取得出来ると思います。

また、蛇足になりますが、mp4はzipと同じようなものです。
mp4の中に格納されている動画形式によって処理方法が変わるため、
単純な抽出処理は難しいと考えられます。
このため、外部のライブラリに頼るしかないと思います。

動画形式の詳細は、下記URLの「格納できるメディアの種類」をご確認ください。
http://ja.wikipedia.org/wiki/MP4

あと、mp4ならH.264だと思うので、
http://ja.wikipedia.org/wiki/H.264
こちらの「プロファイルとレベル」の辺りも、今後は役に立つと思います。

Answer 2

google で "動画 gif 変換 php" を検索してみました。
動作は確認していませんが、こんなページをみつけました。

• ffmpeg で 動画から画像切り出して PHP で gif アニメ作る http://app-mgng.rhcloud.com/454

Answer 3

CloudConvertのAPIを利用するのはどうでしょうか?
PHP用のAPIライブラリも存在します。
特徴としては以下になります:

• MP4やGIF以外にも、様々な形式のファイルに対応
• 外部サービスのため、PHP実行サーバに依存しない高度な変換が可能
• 外部サービスであるため、サービス終了の可能性を考慮する必要あり
• APIキーが必要なため、アカウント登録(無料)の必要あり
• 1日25回まで変換可能(無料の場合)。なお、変換に失敗しエラーとなった場合もカウントされる
• ファイルサイズは最大1GBまで(無料の場合)
• 英語のサービス