I have a bunch of .gif files I'd like to convert to .png

I'm wondering if there's a PHP function I can use to do this conversion.