CategoryTree extension with MediaWiki4Intranet patches