gerritbot added a comment.
Change 214620 merged by jenkins-bot: Fix issues from recent extension registration changes
https://gerrit.wikimedia.org/r/214620
TASK DETAIL https://phabricator.wikimedia.org/T100775
EMAIL PREFERENCES https://phabricator.wikimedia.org/settings/panel/emailpreferences/
To: Anomie, gerritbot Cc: Florian, jeremyb, gerritbot, Anomie, Ricordisamoa, Jdforrester-WMF, greg, jayvdb, Aklapper, Legoktm, pywikipedia-bugs