Jump to content

Manual:ConvertUserOptions.php

From mediawiki.org
This page is a translated version of the page Manual:ConvertUserOptions.php and the translation is 100% complete.
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

関連項目