ファイル拡張子の取得
#09 ファイルの拡張子を取得する
http://dotinstall.com/lessons/upload_image_php/4509
を元に、投稿されたファイルの情報を取得して
拡張子を設定する
今回は、保存するファイル名を決めておく
これは、アップロードされたファイルの名前をそのまま使うと被ることもあるので、面倒になるから
最初に、拡張子を決め、名前をつけていく
拡張子をつけるのは、ほぼ決まり文句で
$imagesize = agetimagesize($_FILES[‘image’][‘tmp_name’]);
これで、様々な情報が取得され
変数 $imagesize に格納される
中身を確認するには
var_dump() で
var_dump($imagesize);
で見ることができる
これにより、アップロードしたファイルの
縦横の幅
ファイルの種類などが解析される
これを使って、拡張子を決めていく
いろいろなファイルの拡張子があるので、
ここでは switch による分岐を行う
取得して比較する値は
[“mime”]=>
string(9) “image/png”
というように
mime というところ
今回、対応拡張子は
gif
jpg
png
のみにする
コードは
switch($imagesize[‘mime’]){
case ‘image/gif’:
$ext=’.gif’;
break;
case ‘image/jpg’:
$ext =’.jpg’;
break;
case ‘image/png’:
$ext =’.png’;
break;
default:
echo gif/jpg/png only !”;
exit;
}