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

rename() the file, substituting the new extension.