PHPファイルの拡張子を取得する方法
ファイルの拡張子を取得するには、PHP内蔵の`pathinfo()`関数を使用できます。例は次のとおりです。
$filename = 'example.php';
$extension = pathinfo($filename, PATHINFO_EXTENSION);
echo $extension; // 输出:php
上記では、$filenameは拡張子を取得したいファイル名で、pathinfo()関数の第2引数PATHINFO_EXTENSIONは関数がファイルの拡張子部分のみを返すように指定しています。
pathinfo()関数はファイル名のほかに、ディレクトリ名などのファイルの情報も返せることに注意してください。詳細はPHP公式ドキュメントを参照してください。