41 public function run() {
42 if ( !$this->params[
'options'] ) {
47 $user->load( $user::READ_EXCLUSIVE );
48 if ( !$user->isRegistered() ) {
52 $userOptionsManager = MediaWikiServices::getInstance()
53 ->getUserOptionsManager();
54 foreach ( $this->params[
'options'] as $name => $value ) {
55 $userOptionsManager->setOption( $user, $name, $value );
58 $user->saveSettings();