Manual:ConvertUserOptions.php

This page is a translated version of the page Manual:ConvertUserOptions.php and the translation is 100% complete.
Other languages:
MediaWiki バージョン:
1.35

詳細

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.

関連項目