PHPでファイル名の拡張子を取得して変更する

【PHP】ファイル名の拡張子を取得する方法（pathinfo） - STUDY-UP

1 2 3 4 5 6 7 8

$filename="C:/temp/test.csv";   $path_parts = pathinfo($filename);   echo $path_parts['dirname'], "\n"; echo $path_parts['basename'], "\n"; echo $path_parts['extension'], "\n"; echo $path_parts['filename'], "\n";

$path_parts['filename']で拡張子なしのファイル名なので

$path_parts['filename'].'txt'

で拡張子を付け替えできる。

PHP: basename - Manual

basenameは拡張子ありのファイル名