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