Manual:UserOptions.php/nl

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

Details

Gebruik het script userOptions.php van MediaWiki om de opties voor de bestaande gebruikers te wijzigen (of om te zien hoe ze afwijken van uw nieuwe standaarden).

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

Voorbeeld, voor het wijzigen van het zoeken binnen namespaces op gebruikerspagina's:

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

Als u net een namespace heeft aangemaakt, dan zijn de searchNsX velden nog niet gedefinieerd. Gebruik dan de volgende syntaxis:

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

Voor andere namespaces, vervang searchNs# door het nummer van een van de op deze pagina Manual:Namespace genoemde.

# 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
Met de aanvulling --usage option, zullen er geen gegevens genoemd worden van de gebruikers die de standaardoptie gebruiken. Als alle gebruikers de standaardwaarde voor de optie gebruiken dan blijft de uitvoer beperkt tot done.