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.