GitHub mirror of the mediawiki/extensions/PageMagit Gerrit repository. Our code is hosted with https://gerrit.wikimedia.org; please see https://www.mediawiki.org/wiki/Developer_account if you wish to contribute - View it on GitHub