Jump to content

Manual:initUserPreference.php

From mediawiki.org

Details

[edit]

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

Options

[edit]
Option Description Required
--target Name of the user preference to initialize Required
--source Name of the user preference to take the value from Required

Usage

[edit]
php maintenance/initUserPreference.php target source
Terminal

See also

[edit]