Html5mediator extension for MediaWiki