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