WikiEditor MediaWiki extension with Mediawiki4Intranet patches