Я знаю, что можно изменить вес JPG избражения с помощью функции ImageJPEG().
Я знаю, что можно изменить вес PNG избражения с помощью функции ImagePNG().
Но как изменить вес GIF анимации?
Функция ImageGIF(), с этим на сколько я знаю не справляется, так как у неё нет третьего аргумента, который и устанавливает степень сжатия.
Для правильного вопроса надо знать половину ответа
GIF использует lzw-сжатие без потерь. Уменьшить размер файла можно только убрав часть информации, то есть уменьшив разрешение изображения или количество цветов.