如何使用 PHP 更改文件扩展名?
如何使用 PHP 更改文件扩展名?
例如:照片.jpg照片.exe
在现代操作系统中,文件名可能包含文件扩展名之前很久的句点,例如:
my.file.name.jpg
PHP提供了一种在没有扩展名的情况下查找文件名的方法,该扩展名考虑到了这一点,然后只需添加新的扩展名:
function replace_extension($filename, $new_extension) {
$info = pathinfo($filename);
return $info['filename'] . '.' . $new_extension;
}
substr_replace($file , 'png', strrpos($file , '.') +1)
会将任何扩展名更改为所需的扩展名。将png替换为您想要的扩展名。