Manual:ConvertUserOptions.php/ja

詳細
convertUserOptions.php ファイルは、利用者オプションを新しい user_properties テーブルに変換する、メンテナンス スクリプトです.

Prior to MediaWiki 1.18, the field was used to store users' Special:Preferences information as list of name=value pairs. This script converts these fields to the new table.

オプション
このスクリプトにはオプションはありません.