GIF convertor to PNG or JPEG

[Anon]

I would like to know if any convertor class, function or anything like this exists in PHP to convert GIF to PNG or JPEG. I know about GD but I have to use version >1.6 so I am not able to work with GIFs images therefor I look for some code for converting GIFs.
I hate GIFs (licence strategy).

Thank you

[gushy]

I don't know what platform you use but running on Linux I make an external call to ImageMagik or gif2png.

-- Nick Gushlow

[Anon]

Yap this is nice but I am not able to call any external program because I host on virtual hosting server where they do not allow this.
But Thanks for yor attantion.

[alastair]

Very simply, you do something like this...

<?
$im = @ImageCreateFromGIF ('someimage.gif');

if (you want to convert to png){
ImagePng($im, 'newimage.png');
}
if (you want to convert to jpg){
ImageJpeg($im, 'newimage.jpg', [qual]);
// where qual is a quality figure 1-100
}
?>

[gushy]

Hmm, that's a shame.

Maybe you could just restrict what your user's can upload. I do that as well.

Maybe you need to change provider? My provider allows me to run external programs and I only pay $9.95 pa.

-- Nick Gushlow

[Anon]

Yap this is easy but I am forced to use GD of version higher than 1.6 so I can not use any of GIF functions in GD (ImageCreateFromGIF, and so).

[alastair]

Ahhh - my provider has partial GIF support in a 1.6 version somehow.

I was working under the assumption that you could still create from GIFs but not make GIFs - not true.

I will neeed a solution to this for another project ...will be investigating