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

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