GitHub repository: themachinist/HTML5Video
Primary language: PHP
Description: HTML5Video extension for MediaWiki (https://www.mediawiki.org/wiki/Extension:HTML5video)