[15:19:46] <wikibugs>	 (03PS1) 10Umherirrender: build: Updating mediawiki/mediawiki-phan-config to 0.10.5 [extensions/WikibaseMediaInfo] - 10https://gerrit.wikimedia.org/r/649093
[16:59:53] <wikibugs>	 (03CR) 10Jforrester: [C: 03+2] build: Updating mediawiki/mediawiki-phan-config to 0.10.5 [extensions/WikibaseMediaInfo] - 10https://gerrit.wikimedia.org/r/649093 (owner: 10Umherirrender)
[17:27:01] <wikibugs>	 (03Merged) 10jenkins-bot: build: Updating mediawiki/mediawiki-phan-config to 0.10.5 [extensions/WikibaseMediaInfo] - 10https://gerrit.wikimedia.org/r/649093 (owner: 10Umherirrender)