Disable animated user icons.

[zorbathut]

If you want to be fancy, disable them unless you're mousing over the username, I suppose.

I think this is all doable in CSS.

[wmill]

It's not a simple CSS fix, there's no control of animated images. Historic reasons.

Ways to fix:

• take out the gifwebp call on the backend, it's there specifically to preserve gif animation
• if you want to do the mouseover animation I think you can load webp images in a video element so you can control playback
• Gifffer controls playback of gifs by loading them into a canvas element, which doesn't support animation. But that's probably more complexity than is needed.

[zorbathut]

Hrm.

I'm tempted to say "let's just remove gifwebp, then", but I sorta don't want to do that because then we need to reprocess user icons to remove animations and then we also have no way of restoring animations.

Actually, wait, here's an idea:

• When uploading a user icon, generate an animated guid_noanim.webp and a non-animated guid_anim.webp version
• Choose which one is being played based on mouseover
• Go through and reprocess all user icons without a suffix

That wouldn't be hard, right?