WikiEditor is a MediaWiki extension.

Status for Mediawiki4Intranet distribution:

Our changes