MediaWiki plugin for RestAuth