diff options
| author | Petr Pchelko <ppchelko@wikimedia.org> | 2020-05-26 11:58:30 -0700 |
|---|---|---|
| committer | Petr Pchelko <ppchelko@wikimedia.org> | 2020-05-27 08:32:40 -0700 |
| commit | 82bf390ed5797fdb0d48a7992920ce5c0d872473 (patch) | |
| tree | 9584e55811535c48eb7d987205f06bb1384171ab /docs/hooks.txt | |
| parent | b5012a1e7d0bbd2bf7444b8708d421992bcbe2fb (diff) | |
| download | mediawikicore-82bf390ed5797fdb0d48a7992920ce5c0d872473.tar.gz mediawikicore-82bf390ed5797fdb0d48a7992920ce5c0d872473.zip | |
Add $originalOptions parameter to UserSaveOptions hook
Since the hook interfaces are not yet released and adding a parameter
to the hook is b/c, I have just added a parameter without introducing
a new version of the hook interface
Bug: T253149
Change-Id: Iac6c4b706ddbc7b0c9fb0b40eba05bd3530b1fdf
Diffstat (limited to 'docs/hooks.txt')
| -rw-r--r-- | docs/hooks.txt | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/docs/hooks.txt b/docs/hooks.txt index 32d06dfdd212..0e4b423b1ac7 100644 --- a/docs/hooks.txt +++ b/docs/hooks.txt @@ -3910,6 +3910,7 @@ false, e.g. to save to a global profile instead. Compare to the UserSaveSettings hook, which is called after the preferences have been saved. $user: The User for which the options are going to be saved &$options: The users options as an associative array, modifiable +$originalOptions: The user's original options being replaced. Since 1.35 'UserSaveSettings': Called directly after user preferences (user_properties in the database) have been saved. Compare to the UserSaveOptions hook, which is |