Методы изменения размера изображений GIF с помощью PHP: библиотека GD, расширение Imagick и внешние инструменты