Manual:UserOptions.php/fr

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.


 * 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