[03:33:44] (03PS1) 10Legoktm: build: Updating jakub-onderka/php-parallel-lint to 0.9.2 [extensions/ArticleFeedbackv5] - 10https://gerrit.wikimedia.org/r/371664 [03:33:47] (03CR) 10Legoktm: [C: 032] build: Updating jakub-onderka/php-parallel-lint to 0.9.2 [extensions/ArticleFeedbackv5] - 10https://gerrit.wikimedia.org/r/371664 (owner: 10Legoktm) [03:35:34] (03Merged) 10jenkins-bot: build: Updating jakub-onderka/php-parallel-lint to 0.9.2 [extensions/ArticleFeedbackv5] - 10https://gerrit.wikimedia.org/r/371664 (owner: 10Legoktm) [08:22:21] (03PS1) 10GeorgeBarnick: Rename sidebar icon [skins/Refreshed] - 10https://gerrit.wikimedia.org/r/371703