Manual:UserOptions.php/ja

詳細
実在するユーザーのオプション変更には、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にまとめてあるような名前空間番号と置き換えます.


 * 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

When using the, This will not list statistics for people who have the default value for that option set. If all users have the default value for that option set, the script will print nothing except done.