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

You can use this to rename the file http://us2.php.net/rename and this http://us2.php.net/manual/en/function.pathinfo.php to get the basename of the file and other extension info..