SemanticMediaWiki extension with MediaWiki4Intranet patches