Manual:userOptions.php

MediaWiki ファイル: userOptions.php
場所:	maintenance/
ソース コード:	master • 1.42.3 • 1.41.4 • 1.39.10
クラス:	UserOptionsMaintenance

詳細

実在するユーザーのオプション変更には、MediaWiki 同梱のuserOptions.phpスクリプトを使います (あるいは新しい既定との差をお確かめください。)

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

一例として、名前空間検索の対象を利用者ページに変更する場合の流れ。

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

名前空間を新規作成した直後である場合は、searchNsX フィールドはまだ未定義です。代わりに以下の構文を使用します:

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

その他の名前空間では単に searchNs# を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

--usage optionを使うと、そのオプションの既定値に設定したユーザーの統計は示しません。 もしすべてのユーザーが既定値を指定した場合は、スクリプトは完了と出力するだけで終わります。