PHPでファイル拡張子を変更する方法

php でファイル拡張子を変更する方法: 最初に PHP ファイルを作成し、次に「changeTypeName」メソッドを定義し、次にファイルの絶対パスを取得し、最後に「rename($fileRealPath, $)」によって変更します。 compressCssFileRealPath);"。

#推奨: "

PHP ビデオ チュートリアル"

php ファイル ディレクトリ内のファイルのサフィックス名を変更します

changeTypeName("E:/bak/video/code/views", "html", "phtml");
 
//改变文件目录下文件的后缀名
function changeTypeName($path, $oldTypaName, $newTypeName)
{
    $path = "glob://$path/*";
    $files = new DirectoryIterator($path);
    foreach ($files as $file) {
        $fileRealPath = $file->getRealPath(); //文件绝对路径
        $compressCssFileRealPath = str_replace(".$oldTypaName", ".$newTypeName", $fileRealPath);
        rename($fileRealPath, $compressCssFileRealPath);
    }
}

以上がPHPでファイル拡張子を変更する方法の詳細内容です。詳細については、PHP 中国語 Web サイトの他の関連記事を参照してください。