[20:28:45] <wikibugs>	 (03PS1) 10Zabe: Avoid using User::setOption() [extensions/ORES] - 10https://gerrit.wikimedia.org/r/678285 (https://phabricator.wikimedia.org/T277818)
[20:32:38] <wikibugs>	 (03CR) 10jerkins-bot: [V: 04-1] Avoid using User::setOption() [extensions/ORES] - 10https://gerrit.wikimedia.org/r/678285 (https://phabricator.wikimedia.org/T277818) (owner: 10Zabe)
[20:34:20] <wikibugs>	 (03PS2) 10Zabe: Avoid using User::setOption() [extensions/ORES] - 10https://gerrit.wikimedia.org/r/678285 (https://phabricator.wikimedia.org/T277818)
[20:39:19] <wikibugs>	 (03CR) 10jerkins-bot: [V: 04-1] Avoid using User::setOption() [extensions/ORES] - 10https://gerrit.wikimedia.org/r/678285 (https://phabricator.wikimedia.org/T277818) (owner: 10Zabe)
[20:40:32] <wikibugs>	 (03PS3) 10Zabe: Avoid using User::setOption() [extensions/ORES] - 10https://gerrit.wikimedia.org/r/678285 (https://phabricator.wikimedia.org/T277818)