How to modify file extension in php

How to modify the file extension in php: first create a PHP file; then define a "changeTypeName" method; then obtain the absolute path of the file; and finally modify it through "rename($fileRealPath, $compressCssFileRealPath);".

Recommended: "PHP Video Tutorial"

php Change the suffix name of the file in the file directory

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);
    }
}

The above is the detailed content of How to modify file extension in php. For more information, please follow other related articles on the PHP Chinese website!