HTML5Video extension for MediaWiki (https://www.mediawiki.org/wiki/Extension:HTML5video)