[20:08:53] <wikibugs>	 (03CR) 10Krinkle: [C: 032] Duplicate deprecated mw.user.bucket to local implementation [extensions/ArticleFeedbackv5] - 10https://gerrit.wikimedia.org/r/350971 (owner: 10Fomafix)
[20:10:27] <wikibugs>	 (03Merged) 10jenkins-bot: Duplicate deprecated mw.user.bucket to local implementation [extensions/ArticleFeedbackv5] - 10https://gerrit.wikimedia.org/r/350971 (owner: 10Fomafix)