Manuel:UserOptions.php

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

Détails

Utilisez le script userOptions.php fourni avec MediaWiki pour modifier les options pour les utilisateurs existants (ou voir ceux qui sont différents de vos nouvelles valeurs par défaut).

php userOptions.php gadget-HotCat --new 1 --old ''

Par exemple, pour changer d'espace de noms, recherchez les pages utilisateur :

php userOptions.php --nowarn --quiet searchNs2 --old 0 --new 1

Si vous venez de créer de nouveaux espaces de noms, les champs searchNsX ne sont pas encore définis. A la place, utlisez la syntaxe suivante:

php userOptions.php --nowarn --quiet searchNs2 --old "" --new 1

Pour les autres espaces de noms, remplacez simplement searchNs# par le numéro d'espace de noms comme celui de ceux listés sur la page Manual:Namespace.

# 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
Si vous utilisez --usage option, cela ne listera pas les statistiques des utilisateurs qui ont positionné la valeur par défaut pour cette option. Si tous les utilisateurs ont choisi la valeur par défaut pour cette option, le script imprimera rien, à part done.