How to edit and watermark animated gifs, preferably through php?

Question

Ive been looking everywhere for something that could manipulate animated gif files, server-side, preferably through php, but simple command line tools that could be executed via exec() would do also. Essentially Im looking to watermark animated gif files, as well as have the ability to cull frames out of animations (every 2nd, 3rd frame to be removed for example).

Anything like that out there?

Answer 1

http://www.php.net/manual/en/book.imagick.php

See animated GIF example here: http://valokuva.org/?p=46