gifmaker.php

<?php
$file = $_FILES['gif'];
//var_dump($file);
$ext = substr($file['name'], -4); //ファイル名の後ろ４文字を取得。つまり拡張子を取り出す
if($ext == '.MOV' || $ext == '.mov' || $ext == '.mp4') {
   $filePath = 'tmp/' . $file['name']; //ファイルの移動先。
   move_uploaded_file($file['tmp_name'], $filePath);//アップロード
	$gifname = makeName();
	exec('ffmpeg -i ' .$filePath. ' tmp/' .$gifname);
   print('<img src="tmp/'.$gifname.'">');//アップロードした写真を表示する
	//アップロードしたファイルを削除
	unlink($filePath);
}else {
   
   print('error');
}

function makeName() {
	date_default_timezone_set('UTC');
	//$fileName = date("Y-m-d-H-I-s");
	$fileName = date("Y-m-d");
	$tmp = $fileName;
	$i = 0;
	while(file_exists('tmp/' . $tmp . '.gif')){
		$tmp = $fileName . '_' . $i;
		$i++;
		if($i>100){
			break;
		}
	}
	return $tmp . '.gif';
}
?>