Comment modifier l'extension de fichier en php

Comment modifier l'extension du fichier en PHP : créez d'abord un fichier PHP ; puis définissez une méthode "changeTypeName" ; puis récupérez le chemin absolu du fichier et enfin modifiez-le via "rename($fileRealPath, $); compressCssFileRealPath);".

Recommandé : "Tutoriel vidéo PHP"

php Changez le nom de suffixe du fichier dans le répertoire de fichiers

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

Ce qui précède est le contenu détaillé de. pour plus d'informations, suivez d'autres articles connexes sur le site Web de PHP en chinois!