[16:44:25] <wikibugs>	 (03PS2) 10Umherirrender: build: Updating mediawiki/mediawiki-phan-config to 0.9.0 [extensions/UploadWizard] - 10https://gerrit.wikimedia.org/r/560189 (owner: 10Libraryupgrader)
[20:46:06] <wikibugs>	 (03CR) 10Thiemo Kreuz (WMDE): [C: 03+2] build: Updating mediawiki/mediawiki-phan-config to 0.9.0 [extensions/UploadWizard] - 10https://gerrit.wikimedia.org/r/560189 (owner: 10Libraryupgrader)