I’d allow it

Animated GIFs are a terrible format created a very long time ago (1989?) with huge file sizes, limited color palette. It’s really best to avoid using them altogether I think.

They still exist for a reason

We used to create tiny file sized animated gifs. There were plenty of optimisation options as well as Delta Frame Encoding and using gifs in combination with Image Maps made efficient interactive elements. Of course this all was replaced by Flash and we know how that went.

I would, but there’s always user-generated content

Transcode them, just like we do for images?

Would you want that for play/pause functionality? On the flip side, I wish more browsers supported video files in tags (like Safari does).

That plus control over autoplay, looping, playback rate, etc etc. But also because they #gifsAreVideos and the media typism must end 😅 Videos in is practically sugar over right? Is it just about not having to branch or can it do anything doesn’t?

This is quite dated, so I’m not sure about the preloading advantage is true (especially since `preload` attribute is a thing). calendar.perfplanet.com/2017/animate...

Oooh we should bring this to

Still true. And in fact worse as fetchpriority and loading=lazy is not supported for . Loading=lazy would be good to bring to (though need to think through with preload) but fetchpriority I’m not so sure. I still like for gif-like short-form “videos” and wish we supported it.

And Chrome should support muted video in images as Safari does but alas issues.chromium.org/issues/41359...

If you can stream a video you can stream infinite frames