 | This feature was removed completely in version 1.36. |
| MediaWiki version: | ≤ 1.35 |
| MediaWiki file: convertUserOptions.php | |
|---|---|
| Location: | maintenance/ |
| Source code: | master • 1.40.0 • 1.39.4 • 1.35.11 |
| Classes: | ConvertUserOptions |
Details
convertUserOptions.php file is a maintenance script to convert user options to the new user_properties table.
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.
Options
This script does not accept any options.
Usage
php maintenance/convertUserOptions.php
Terminal
$ php maintenance/convertUserOptions.php ...batch conversion of user_options: nothing to migrate.
See also
- userOptions.php
- initUserPreference.php
- User preferences
This article is issued from Mediawiki. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.