Mirror of https://gerrit.wikimedia.org/g/mediawiki/extensions/WikiEditor - View it on GitHub