Comment by blululu

Just convert .gif to .webm or .mp4 and render the media as a video element. You will save yourself a lot of trouble by replacing gifs with videos.