[15:39:30] <wikibugs>	 (03CR) 10Jforrester: [C: 03+2] build: Updating mediawiki/mediawiki-phan-config to 0.10.2 [skins/Refreshed] - 10https://gerrit.wikimedia.org/r/601642 (owner: 10Libraryupgrader)