PHP アップロードしたファイルの拡張子を変える
取得したファイルのパス($path)を
$path = "XXX/YYY/ZZ.pdf"; $pathInfo = pathinfo($path);
とすると、$pathInfoの中身は、
"dirname" => "XXX/YYY" "basename"=> "ZZ.pdf" "extension" => "pdf" "filename" => "ZZ"
となっており、 指定したパスにあるファイルの情報を見ることができる。
これを使い、
$newPath = $pathInfo['filename'] . ".onion";
とすることで、拡張子の変更が可能。