MediaWiki REL1_37
GetPreferencesHook.php
Go to the documentation of this file.
1<?php
2
3namespace MediaWiki\Preferences\Hook;
4
5use User;
6
14interface GetPreferencesHook {
24 public function onGetPreferences( $user, &$preferences );
25}
User
The User object encapsulates all of the user-specific settings (user_id, name, rights,...
Definition User.php:69
MediaWiki\Preferences\Hook\GetPreferencesHook
This is a hook handler interface, see docs/Hooks.md.
Definition GetPreferencesHook.php:14
MediaWiki\Preferences\Hook\GetPreferencesHook\onGetPreferences
onGetPreferences( $user, &$preferences)
Use this hook to modify user preferences.