Mozilla Persona extension for MediaWiki