Manuale:UserOptions.php

From mediawiki.org
This page is a translated version of the page Manual:UserOptions.php and the translation is 38% complete.

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.

# 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] <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 with

Options:
    --nowarn: hides the 5 seconds warning
    --quiet : do not print what is happening
    --dry   : do not save user settings back to database
When using the --usage option, 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 except done.