Animated gifs with php?

Well I was wondering if there was a library that supports animated gif images. I don't think GDI does.

EDIT:

Found this Although seems like it isn't effective for many frames.

I think for something like this you might want to invest time in figuring out how to use an external library/program to do this.