OK now it should work for sure, I've studied the html5 video tag:
http://www.w3schools.com/html/html5_video.asp
So mp4 should work for all modern browsers but I've also added the webm fallback just in case. BTW there's no such thing as a gifv format, its just pointing to mp4 and webm files...