[15:48:24] (03PS1) 10Fkobon: Update minusX from 0.2.1 to 0.3.0 [extensions/ArticleRatings] - 10https://gerrit.wikimedia.org/r/411605 [18:05:26] (03CR) 10jerkins-bot: [V: 04-1] build: Updating mediawiki/minus-x to 0.3.1 [extensions/ArticleFeedbackv5] - 10https://gerrit.wikimedia.org/r/411657 (owner: 10Libraryupgrader)