使用php进行GIF压缩而不丢失动画

当我试图压缩gif时，它丢失了动画并显示为图像，然后有人帮我建议在这种情况下该怎么做，我尝试了很多方法，但没有找到任何结果。请求提供建议和选项

public static function compress($source, $destination, $quality) {

    $info = getimagesize($source);

    if ($info['mime'] == 'image/jpeg'){
        $image = imagecreatefromjpeg($source);
        imagejpeg($image, $destination, $quality);
    }
    elseif ($info['mime'] == 'image/gif'){
        // Create a new true color image
        $image=imagecreatefromstring($source);
        imagetruecolortopalette($image, false, 16);
        imagegif($image, $destination);
    }
    elseif ($info['mime'] == 'image/png'){
        $image = imagecreatefrompng($source);
        $qual=$quality/10;
        imagepng($image, $destination, $qual);
    }

    return $destination;
}

---

似乎没有得到支持。考虑使用比GD更强大的功能。