[05:30:52] <wikibugs_>	 (03PS1) 10Libraryupgrader: build: Updating mediawiki/mediawiki-codesniffer to 13.0.0 [extensions/ORES] - 10https://gerrit.wikimedia.org/r/380210
[12:08:03] <wikibugs_>	 (03CR) 10Umherirrender: [C: 032] build: Updating mediawiki/mediawiki-codesniffer to 13.0.0 [extensions/ORES] - 10https://gerrit.wikimedia.org/r/380210 (owner: 10Libraryupgrader)