[19:20:48] <wikibugs>	 (03PS2) 10Umherirrender: build: Updating mediawiki/mediawiki-phan-config to 0.10.4 [skins/Refreshed] - 10https://gerrit.wikimedia.org/r/642626 (owner: 10Libraryupgrader)
[19:25:26] <wikibugs>	 (03CR) 10jerkins-bot: [V: 04-1] build: Updating mediawiki/mediawiki-phan-config to 0.10.4 [skins/Refreshed] - 10https://gerrit.wikimedia.org/r/642626 (owner: 10Libraryupgrader)