конвертор форматов изображений

<?php 
/*
*конвертор форматов изображений
*автор: nc_soft
*21.09.07
*/

//исходник
$source='kartinka.png';

//куда сохраняем
$destination='soxranyaem.gif';

//создаем изображение 
$img=imagecreatefrompng($source);

//сохраняем его в gif формате
imagegif($img,$destination); 

/*краткая запись
imagegif(imagecreatefrompng('kartinka.png'),'soxranyaem.gif')
соответственно, для других форматов используются другие графические функции
imagecreatefrompng
imagecreatefromjpeg
imagecreatefromgif
и
imagepng
imagegif
imagejpeg

ВНИМАНИЕ!!
при сохранении в формате jpeg необходимо учитывать, что у функции imagejpeg() ТРИ параметра, 
поэтому сохранять необходимо так
imagejpeg($img,'',$destination);
(средний параметр обозначает качество jpeg в процентах, но можно и не указывать)

спасибо wUPS.ru за поправку ;)
*/
?>