Re: [arch-general] MediaWiki extension and fix pull request