[18:31:24] <wikibugs>	 (03PS1) 10Umherirrender: build: Updating mediawiki/mediawiki-phan-config to 0.8.0 [skins/Refreshed] - 10https://gerrit.wikimedia.org/r/549141 (https://phabricator.wikimedia.org/T235049)
[18:33:52] <wikibugs>	 (03CR) 10jerkins-bot: [V: 04-1] build: Updating mediawiki/mediawiki-phan-config to 0.8.0 [skins/Refreshed] - 10https://gerrit.wikimedia.org/r/549141 (https://phabricator.wikimedia.org/T235049) (owner: 10Umherirrender)
[18:39:10] <wikibugs>	 (03PS2) 10Umherirrender: build: Updating mediawiki/mediawiki-phan-config to 0.8.0 [skins/Refreshed] - 10https://gerrit.wikimedia.org/r/549141 (https://phabricator.wikimedia.org/T235049)
[18:44:29] <wikibugs>	 (03CR) 10Jforrester: [C: 03+2] build: Updating mediawiki/mediawiki-phan-config to 0.8.0 [skins/Refreshed] - 10https://gerrit.wikimedia.org/r/549141 (https://phabricator.wikimedia.org/T235049) (owner: 10Umherirrender)
[18:47:52] <wikibugs>	 (03Merged) 10jenkins-bot: build: Updating mediawiki/mediawiki-phan-config to 0.8.0 [skins/Refreshed] - 10https://gerrit.wikimedia.org/r/549141 (https://phabricator.wikimedia.org/T235049) (owner: 10Umherirrender)
[20:03:16] <wikibugs>	 (03PS9) 10Krinkle: Convert extension registry callback back to old-style ExtensionFunctions [extensions/ArticleRatings] - 10https://gerrit.wikimedia.org/r/547564 (https://phabricator.wikimedia.org/T237032) (owner: 10Paladox)
[20:04:46] <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)
[20:15:45] <wikibugs>	 (03CR) 10Krinkle: Convert extension registry callback back to old-style ExtensionFunctions (031 comment) [extensions/ArticleRatings] - 10https://gerrit.wikimedia.org/r/547564 (https://phabricator.wikimedia.org/T237032) (owner: 10Paladox)