MediaWiki master
|
Go to the source code of this file.
Classes | |
class | InitUserPreference |
Initialize a user preference based on the value of another preference. More... | |
Variables | |
$maintClass = InitUserPreference::class | |
$maintClass = InitUserPreference::class |
Definition at line 86 of file initUserPreference.php.