ホームページ > バックエンド開発 > PHPの問題 > PHPでファイル拡張子を変更する方法

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

藏色散人
リリース: 2023-03-05 16:40:01
オリジナル
3201 人が閲覧しました

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

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

#推奨: "

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 サイトの他の関連記事を参照してください。

関連ラベル:
php
ソース:php.cn
このウェブサイトの声明
この記事の内容はネチズンが自主的に寄稿したものであり、著作権は原著者に帰属します。このサイトは、それに相当する法的責任を負いません。盗作または侵害の疑いのあるコンテンツを見つけた場合は、admin@php.cn までご連絡ください。
最新の問題
人気のチュートリアル
詳細>
最新のダウンロード
詳細>
ウェブエフェクト
公式サイト
サイト素材
フロントエンドテンプレート