Я пробовал многочисленные примеры изменения размера анимированных GIF-файлов с помощью PHP-модуля Imagick, но ни один из них не помог мне
Затем, после некоторого времени отладки, я обнаружил реальную проблему: анимация была потеряна при сохранении изображения на диск, $animation->writeImage($file_dst);
или
$animation->writeImages($file_dst, true);
Я изменил это на
file_put_contents($file_dst, $animation->getImagesBlob());
и большинство примеров сразу начали работать.
Надеюсь, это кому-нибудь поможет.