Interwiki extension with MediaWiki4Intranet patches