Custom version of mediawiki extension WikiEditor