以前、ファイル名から拡張子を取得するためにpathinfoを使用していたが、pathinfoにはバグがあるので、現在は別の方法でやっている。
以前の書き方
$extension=pathinfo($name,PATHINFO_EXTENSION);
現在の書き方
funcGetExtensionを使う。
$extension=funcGetExtension($name);
function funcGetExtension($file_name){
// ファイル名反転
$file_text = strrev($file_name);
// 拡張子取得
$file_ext = substr($file_text, 0, strpos($file_text, "."));
return strrev($file_ext);
}
参考
【PHP】ファイルの拡張子を文字列で取得する関数