MediaWiki REL1_35
GetPreferencesHook.php
Go to the documentation of this file.
1<?php
2
4
5use User;
6
21 public function onGetPreferences( $user, &$preferences );
22}
The User object encapsulates all of the user-specific settings (user_id, name, rights,...
Definition User.php:60
onGetPreferences( $user, &$preferences)
Use this hook to modify user preferences.