Ist eine gif, die keine gif ist. Kann ebenso passieren, wenn man eine *.png in *.jgp umbenennt, usw. - Sollte aber selten vorkommen.
Ich habe es auch mal versucht mit abzufangen, doch haben das nicht alle Server installiert.
Edit: Hier ist es wohl installiert. Habs grad getestet. Ich baue es als Automatische Option, mit Fallback zum Standard getimagesize ein.
Wird aber etwas dauern, da seit geraumer Zeit eine überarbeitete Version geplant ist. Eventuell bringe ich noch vorher einen Fix raus.