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:
English • ‎español • ‎polski • ‎日本語

詳細

convertUserOptions.php ファイルは、利用者オプションを新しい「user_properties」テーブルに変換する、メンテナンス スクリプトです。