画像ファイルの拡張子の選択肢をjpg、jpeg、png、gifだけの決め打ちにしていると、最新のモバイル端末で撮影した写真とか加工した画像とかを弾いてしまう可能性がありそうな気がしてきた。