[11:48:32] <wikibugs>	 (03PS1) 10Jforrester: build: Upgrade mediawiki/mediawiki-phan-config from 0.5.0 to 0.6.0 [skins/Refreshed] - 10https://gerrit.wikimedia.org/r/511302
[13:34:56] <wikibugs>	 (03CR) 10Umherirrender: [C: 03+2] build: Upgrade mediawiki/mediawiki-phan-config from 0.5.0 to 0.6.0 [skins/Refreshed] - 10https://gerrit.wikimedia.org/r/511302 (owner: 10Jforrester)
[15:48:09] <wikibugs>	 (03Merged) 10jenkins-bot: build: Upgrade mediawiki/mediawiki-phan-config from 0.5.0 to 0.6.0 [skins/Refreshed] - 10https://gerrit.wikimedia.org/r/511302 (owner: 10Jforrester)