[20:43:00] <wikibugs>	 (03PS1) 10Fomafix: Fix dependencies to module 'mediawiki.util' [extensions/ArticleFeedbackv5] - 10https://gerrit.wikimedia.org/r/351716
[21:02:27] <wikibugs___>	 (03CR) 10Krinkle: [C: 032] Fix dependencies to module 'mediawiki.util' [extensions/ArticleFeedbackv5] - 10https://gerrit.wikimedia.org/r/351716 (owner: 10Fomafix)
[21:04:15] <wikibugs>	 (03Merged) 10jenkins-bot: Fix dependencies to module 'mediawiki.util' [extensions/ArticleFeedbackv5] - 10https://gerrit.wikimedia.org/r/351716 (owner: 10Fomafix)