There is actually no such thing as a gifv "file format". gifv is just a html page with an embedded webm or mp4 file that hides the standard controls and loops automatically.