Manual:ConvertUserOptions.php
この機能は、バージョン 1.36 で完全に除去されました。 |
MediaWiki バージョン: | ≦ 1.35 |
MediaWiki ファイル: convertUserOptions.php | |
---|---|
場所: | maintenance/ |
ソース コード: | master • 1.42.1 • 1.41.2 • 1.39.8 |
クラス: | 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.