gerritbot added a comment.
Change 413730 merged by jenkins-bot:
[mediawiki/extensions/Wikidata.org@master] Switch (back) to the MediaWiki CodeSniffer version 16
https://gerrit.wikimedia.org/r/413730TASK DETAILhttps://phabricator.wikimedia.org/T188086EMAIL PREFERENCEShttps://phabricator.wikimedia.o
gerritbot added a comment.
Change 413731 merged by jenkins-bot:
[mediawiki/extensions/WikimediaBadges@master] Switch (back) to the MediaWiki CodeSniffer version 16
https://gerrit.wikimedia.org/r/413731TASK DETAILhttps://phabricator.wikimedia.org/T188086EMAIL PREFERENCEShttps://phabricator.wikimedi
gerritbot added a comment.
Change 413731 had a related patch set uploaded (by Thiemo Kreuz (WMDE); owner: Thiemo Kreuz (WMDE)):
[mediawiki/extensions/WikimediaBadges@master] Switch (back) to the MediaWiki CodeSniffer version 16
https://gerrit.wikimedia.org/r/413731TASK DETAILhttps://phabricator.wi
gerritbot added a comment.
Change 413730 had a related patch set uploaded (by Thiemo Kreuz (WMDE); owner: Thiemo Kreuz (WMDE)):
[mediawiki/extensions/Wikidata.org@master] Switch (back) to the MediaWiki CodeSniffer version 16
https://gerrit.wikimedia.org/r/413730TASK DETAILhttps://phabricator.wikim