Hi all,

I found the problem which caused GIF thumbnailing to thumbnail only the first frame of animated GIFs (we'd set $wgMaxAnimatedGifArea to 1 in our debugging before disabling it).

GIF thumbnailing is now back on again. Let me know if there are any problems with it.