Manual:ConvertUserOptions.php

From mediawiki.org
Jump to navigation Jump to search
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, user_options field in user table is used to store users' Special:Preferences information as list of name=value pairs. This script converts these field to new user_properties table .

Options

convertUserOptions.php does not accept any option.

Usage

php maintenance/convertUserOptions.php


Terminal

See also