Manual:UserOptions.php/pt-br

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.


 * 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