gerritbot added a comment.
Change 345616 merged by Krinkle:
[mediawiki/extensions/WikimediaBadges@master] Convert WikimediaBadges to extension registration
https://gerrit.wikimedia.org/r/345616TASK DETAILhttps://phabricator.wikimedia.org/T92980EMAIL
gerritbot added a comment.
Change 345616 had a related patch set uploaded (by Reedy):
[mediawiki/extensions/WikimediaBadges@master] Convert WikimediaBadges to extension registration
https://gerrit.wikimedia.org/r/345616TASK DETAILhttps://phabricator.wikimedia.org/T92980EMAIL