Extension:MwEmbedPlayer

MwEmbedPlayer is a html5 player for videos. It includes features like a playhead, remote embedding, video tag rewriting, and mapping underlining plugins to an html5 like javascript interface. You can get more info about the player on the mv_embed page