[22:11:49] <wikibugs>	 (03PS2) 10Umherirrender: build: Updating mediawiki/mediawiki-phan-config to 0.9.0 [extensions/TimedMediaHandler] - 10https://gerrit.wikimedia.org/r/560179 (owner: 10Libraryupgrader)
[22:25:03] <wikibugs>	 (03PS3) 10Umherirrender: build: Updating mediawiki/mediawiki-phan-config to 0.9.0 [extensions/TimedMediaHandler] - 10https://gerrit.wikimedia.org/r/560179 (owner: 10Libraryupgrader)
[22:41:21] <wikibugs>	 (03CR) 10jerkins-bot: [V: 04-1] build: Updating mediawiki/mediawiki-phan-config to 0.9.0 [extensions/TimedMediaHandler] - 10https://gerrit.wikimedia.org/r/560179 (owner: 10Libraryupgrader)
[22:42:26] <wikibugs>	 (03PS4) 10Umherirrender: build: Updating mediawiki/mediawiki-phan-config to 0.9.0 [extensions/TimedMediaHandler] - 10https://gerrit.wikimedia.org/r/560179 (owner: 10Libraryupgrader)
[22:47:09] <wikibugs>	 (03PS5) 10Umherirrender: build: Updating mediawiki/mediawiki-phan-config to 0.9.0 [extensions/TimedMediaHandler] - 10https://gerrit.wikimedia.org/r/560179 (owner: 10Libraryupgrader)
[22:54:11] <wikibugs>	 (03PS6) 10Umherirrender: build: Updating mediawiki/mediawiki-phan-config to 0.9.0 [extensions/TimedMediaHandler] - 10https://gerrit.wikimedia.org/r/560179 (owner: 10Libraryupgrader)
[23:01:25] <wikibugs>	 (03PS7) 10Umherirrender: build: Updating mediawiki/mediawiki-phan-config to 0.9.0 [extensions/TimedMediaHandler] - 10https://gerrit.wikimedia.org/r/560179 (owner: 10Libraryupgrader)