Extension to make a MediaWiki on Wikimedia Labs replicated database behave like a real MediaWiki