Manual:ConvertUserOptions.php
 | この機能は、バージョン MediaWiki 1.36 で完全に除去されました。 |
| MediaWiki バージョン: | ≦ 1.35 |
| MediaWiki ファイル: convertUserOptions.php | |
|---|---|
| 場所: | maintenance/ |
| ソース コード: | master • 1.45.1 • 1.44. • 1.39.16 |
| クラス: | ConvertUserOptions |
詳細
convertUserOptions.php ファイルは、利用者オプションを新しい user_properties テーブルに変換する、メンテナンス スクリプトです。
Prior to MediaWiki 1.18, the user.user_options field was used to store users' Special:Preferences information as list of name=value pairs. This script converts these fields to the new user_properties table.
オプション
このスクリプトにはオプションはありません。
使用法
php maintenance/convertUserOptions.php
Terminal
$ php maintenance/convertUserOptions.php ...batch conversion of user_options: nothing to migrate.