How can I change a file's extension using PHP?

前端 未结 11 2073
清歌不尽
清歌不尽 2020-12-10 00:43

How can I change a file\'s extension using PHP?

Ex: photo.jpg to photo.exe

11条回答
  •  天涯浪人
    2020-12-10 01:22

    You could use basename():

    $oldname = 'path/photo.jpg';
    $newname = (dirname($oldname) ? dirname($oldname) . DIRECTORY_SEPARATOR  : '') . basename($oldname, 'jpg') . 'exe';
    

    Or for all extensions:

    $newname = (dirname($oldname) ? dirname($oldname) . DIRECTORY_SEPARATOR  : '') . basename($oldname, pathinfo($path, PATHINFO_EXTENSION)) . 'exe';
    

    Finally use rename():

    rename($oldname, $newname);
    

提交回复
热议问题