Few people actually use GIFs anymore. Most image host convert them to video.
This is pretty interesting where imgur has a http://imgur.com/r/gifs section but it's all mp4.
Imgur also introduced gifv—a faux extension—to easily identify video-enhanced gifs.
Of course, the internet is still full of glorious 256-color, chunky-sized traditional gifs.