[16:51:03] <wikibugs>	 (03CR) 10Zoranzoki21: "recheck" [extensions/ArticleRatings] - 10https://gerrit.wikimedia.org/r/557571 (owner: 10Libraryupgrader)
[17:58:28] <wikibugs>	 (03CR) 10jerkins-bot: [V: 04-1] build: Updating mediawiki/mediawiki-phan-config to 0.9.0 [skins/Refreshed] - 10https://gerrit.wikimedia.org/r/560322 (owner: 10Libraryupgrader)
[22:02:11] <wikibugs>	 (03CR) 10Umherirrender: [V: 03+2] build: Updating dependencies [extensions/ArticleRatings] - 10https://gerrit.wikimedia.org/r/557571 (owner: 10Libraryupgrader)
[23:04:18] <wikibugs>	 (03PS10) 10Paladox: Convert extension registry callback back to old-style ExtensionFunctions [extensions/ArticleRatings] - 10https://gerrit.wikimedia.org/r/547564 (https://phabricator.wikimedia.org/T237032)
[23:04:25] <wikibugs>	 (03PS1) 10Paladox: Convert extension registry callback back to old-style ExtensionFunctions [extensions/ArticleRatings] (REL1_34) - 10https://gerrit.wikimedia.org/r/560347 (https://phabricator.wikimedia.org/T237032)
[23:06:13] <wikibugs>	 (03CR) 10jerkins-bot: [V: 04-1] Convert extension registry callback back to old-style ExtensionFunctions [extensions/ArticleRatings] - 10https://gerrit.wikimedia.org/r/547564 (https://phabricator.wikimedia.org/T237032) (owner: 10Paladox)
[23:06:35] <wikibugs>	 (03CR) 10jerkins-bot: [V: 04-1] Convert extension registry callback back to old-style ExtensionFunctions [extensions/ArticleRatings] (REL1_34) - 10https://gerrit.wikimedia.org/r/560347 (https://phabricator.wikimedia.org/T237032) (owner: 10Paladox)