Comment modifier l'extension de fichier en php

藏色散人
Libérer: 2023-03-05 16:40:01
original
3118 Les gens l'ont consulté

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);".

Comment modifier l'extension de fichier en php

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);
    }
}
Copier après la connexion

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!

Étiquettes associées:
php
source:php.cn
Déclaration de ce site Web
Le contenu de cet article est volontairement contribué par les internautes et les droits d'auteur appartiennent à l'auteur original. Ce site n'assume aucune responsabilité légale correspondante. Si vous trouvez un contenu suspecté de plagiat ou de contrefaçon, veuillez contacter admin@php.cn
Tutoriels populaires
Plus>
Derniers téléchargements
Plus>
effets Web
Code source du site Web
Matériel du site Web
Modèle frontal
À propos de nous Clause de non-responsabilité Sitemap
Site Web PHP chinois:Formation PHP en ligne sur le bien-être public,Aidez les apprenants PHP à grandir rapidement!