MediaWiki REL1_39
GetPreferencesHook.php
Go to the documentation of this file.
1<?php
2
4
5use User;
6
24 public function onGetPreferences( $user, &$preferences );
25}
internal since 1.36
Definition User.php:70
This is a hook handler interface, see docs/Hooks.md.
onGetPreferences( $user, &$preferences)
Use this hook to modify user preferences.