Manual:UserOptions.php/it

Dettagli
Usa lo script userOptions.php fornito con MediaWiki per modificare le preferenze per gli utenti esistenti (o per vedere quante di queste differiscono dai tuoi nuovi valori predefiniti).

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 the Manual:Namespace page.


 * 1) php userOptions.php

This 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] --old --new

Switchs: --list : list available user options and their default value

--usage : report all options statistics or just one if you specify it.

--old : the value to look for --new : new value to update users with

Options: --nowarn: hides the 5 seconds warning --quiet : do not print what is happening --dry  : do not save user settings back to database