Change file extension

Question

How do I change a files file-extension name in PHP?

For example: $filename=\'234230923_picture.bmp\' and I want the extension to change to jpg

Answer 1

Just replace it with regexp:

$filename = preg_replace('"\.bmp$"', '.jpg', $filename);

You can also extend this code to remove other image extensions, not just bmp:

$filename = preg_replace('"\.(bmp|gif)$"', '.jpg', $filename);