Manual:InitUserPreference.php/de-formal

Details
initUserPreference.php  is a maintenance script that initializes a user preference based on the value of another preference.