Manual:initUserPreference.php

From mediawiki.org
Other languages:

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
$ php maintenance/initUserPreference.php --target visualeditor-hidebetawelcome --source rcfilters-rc-collapsed

Initializing 'visualeditor-hidebetawelcome' based on the value of 'rcfilters-rc-collapsed'
Processed 7 user(s)
Finished!

See also[edit]