[01:49:44] <wikibugs>	 (03CR) 10DannyS712: [C: 03+2] Avoid using User::setOption() [extensions/ArticleFeedbackv5] - 10https://gerrit.wikimedia.org/r/675897 (https://phabricator.wikimedia.org/T277818) (owner: 10Zabe)
[01:53:52] <wikibugs>	 (03Merged) 10jenkins-bot: Avoid using User::setOption() [extensions/ArticleFeedbackv5] - 10https://gerrit.wikimedia.org/r/675897 (https://phabricator.wikimedia.org/T277818) (owner: 10Zabe)