[Wikidata-bugs] [Maniphest] [Commented On] T92980: [Story] Convert all extensions that are part of the Wikidata build to use the new extension registration

2017-04-03 Thread gerritbot
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

[Wikidata-bugs] [Maniphest] [Commented On] T92980: [Story] Convert all extensions that are part of the Wikidata build to use the new extension registration

2017-03-30 Thread gerritbot
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