Manual:UserOptions.php
Appearance
| Arquivo do MediaWiki: userOptions.php | |
|---|---|
| Localização: | maintenance/ |
| Código-fonte: | master • 1.45.1 • 1.44.3 • 1.43.6 |
| Classes: | UserOptionsMaintenance |
Detalhes
Use o script userOptions.php fornecido com o MediaWiki para alterar as opções para os usuários existentes (ou ver quantos são diferentes dos seus novos padrões).
php userOptions.php gadget-HotCat --new 1 --old ''
Por exemplo, para alterar namespaces que busquem páginas de usuários:
php userOptions.php --nowarn --quiet searchNs2 --old 0 --new 1
Se você acabou de criar novos namespaces, os campos searchNsX ainda não estão definidos. Use a seguinte sintaxe em vez disso:
php userOptions.php --nowarn --quiet searchNs2 --old "" --new 1
Para outros namespaces, basta substituir searchNs# com o número de namespace como um dos listados na página 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
Ao usar o código
--usage option, não serão listadas as estatísticas para as pessoas que têm o valor padrão para esse conjunto de opções. Se todos os usuários tiverem o valor padrão para essa opção definida, nada será impresso pelo script, exceto a palavra done (feito).