MediaWiki REL1_37
UserSaveOptionsHook.php
Go to the documentation of this file.
1<?php
2
3namespace MediaWiki\User\Hook;
4
5use User;
6
30 public function onUserSaveOptions( $user, &$options, $originalOptions );
31}
The User object encapsulates all of the user-specific settings (user_id, name, rights,...
Definition User.php:69
This is a hook handler interface, see docs/Hooks.md.
onUserSaveOptions( $user, &$options, $originalOptions)
This hook is called just before saving user preferences.