[19:57:10] <wikibugs>	 (03PS2) 10Umherirrender: build: Updating mediawiki/mediawiki-phan-config to 0.9.0 [extensions/ORES] - 10https://gerrit.wikimedia.org/r/560108 (owner: 10Libraryupgrader)
[20:33:52] <wikibugs>	 (03CR) 10Thiemo Kreuz (WMDE): [C: 03+2] build: Updating mediawiki/mediawiki-phan-config to 0.9.0 (031 comment) [extensions/ORES] - 10https://gerrit.wikimedia.org/r/560108 (owner: 10Libraryupgrader)