MediaWiki file: userOptions.php | |
---|---|
Location: | maintenance/ |
Source code: | master •1.44.0 •1.43.3 •1.39.13 |
Classes: | UserOptionsMaintenance |
Use theuserOptions.php script provided with MediaWiki to change the options for existing users (or see how many are differing from your new defaults).
php userOptions.php gadget-HotCat --new 1 --old ''
For example, to change namespaces search user pages:
php userOptions.php --nowarn --quiet searchNs2 --old 0 --new 1
If you just did create new namespaces, the searchNsX fields are not yet defined. Use the following syntax instead:
php userOptions.php --nowarn --quiet searchNs2 --old "" --new 1
For other namespaces, just replace searchNs# with the namespace number like one of those listed on theManual:Namespace page.
# php userOptions.phpThis script pass through all users and change one of their options.The new option is NOT validated.Usage: php userOptions.php --list php userOptions.php [user option] --usage php userOptions.php [options] <user option> --old <old value> --new <new value>Switchs: --list : list available user options and their default value --usage : report all options statistics or just one if you specify it. --old <old value> : the value to look for --new <new value> : new value to update users withOptions: --nowarn: hides the 5 seconds warning --quiet : do not print what is happening --dry : do not save user settings back to database
--usageoption
, This will not list statistics for people who have the default value for that option set. If all users have the default value for that option set, the script will print nothing exceptdone.