MediaWiki  1.30.0
initUserPreference.php File Reference

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'
 

Variable Documentation

◆ $maintClass

Definition at line 83 of file initUserPreference.php.