如何使用PHP更改文件的扩展名?
例如:从photo.jpg到photo.exe
发布于 2011-09-04 06:27:38
在现代操作系统中,文件名很可能在文件扩展名之前很长时间包含句点,例如:
my.file.name.jpg
PHP提供了一种方法来查找不带扩展名的文件名,然后只需添加新的扩展名即可:
function replace_extension($filename, $new_extension) {
$info = pathinfo($filename);
return $info['filename'] . '.' . $new_extension;
}
发布于 2011-02-11 06:30:50
substr_replace($file , 'png', strrpos($file , '.') +1)
会将任何扩展名更改为您想要的。用你想要的扩展名替换png。
发布于 2013-02-06 17:55:28
替换扩展名,保留路径信息
function replace_extension($filename, $new_extension) {
$info = pathinfo($filename);
return ($info['dirname'] ? $info['dirname'] . DIRECTORY_SEPARATOR : '')
. $info['filename']
. '.'
. $new_extension;
}
https://stackoverflow.com/questions/193794
复制相似问题