[07:43:43] <wikibugs>	 (03CR) 10jerkins-bot: [V: 04-1] build: Updating mediawiki/mediawiki-phan-config to 0.10.2 [skins/Refreshed] - 10https://gerrit.wikimedia.org/r/601642 (owner: 10Libraryupgrader)
[19:50:18] <wikibugs>	 (03PS2) 10Umherirrender: build: Updating mediawiki/mediawiki-phan-config to 0.10.2 [skins/Refreshed] - 10https://gerrit.wikimedia.org/r/601642 (owner: 10Libraryupgrader)
[19:51:38] <wikibugs>	 (03CR) 10jerkins-bot: [V: 04-1] build: Updating mediawiki/mediawiki-phan-config to 0.10.2 [skins/Refreshed] - 10https://gerrit.wikimedia.org/r/601642 (owner: 10Libraryupgrader)
[19:53:26] <wikibugs>	 (03PS3) 10Umherirrender: build: Updating mediawiki/mediawiki-phan-config to 0.10.2 [skins/Refreshed] - 10https://gerrit.wikimedia.org/r/601642 (owner: 10Libraryupgrader)
[19:56:18] <wikibugs>	 (03CR) 10jerkins-bot: [V: 04-1] build: Updating mediawiki/mediawiki-phan-config to 0.10.2 [skins/Refreshed] - 10https://gerrit.wikimedia.org/r/601642 (owner: 10Libraryupgrader)
[20:02:47] <wikibugs>	 (03PS4) 10Umherirrender: build: Updating mediawiki/mediawiki-phan-config to 0.10.2 [skins/Refreshed] - 10https://gerrit.wikimedia.org/r/601642 (owner: 10Libraryupgrader)
[20:03:14] <wikibugs>	 (03CR) 10Umherirrender: "This extension was not running taint before" [skins/Refreshed] - 10https://gerrit.wikimedia.org/r/601642 (owner: 10Libraryupgrader)