PHP

phpでファイルの拡張子を取得するには pathinfo() を使えば簡単だが、バージョンによってバグがあるので注意が必要だ。 当エントリでは pathinfo() を使わない方法を紹介する。