Added docs for gdImageGifAnimEnd*().