Jump to content

Manual:convertUserOptions.php

From mediawiki.org
MediaWiki version:
1.35

Details

[edit]

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

[edit]

This script does not accept any options.

Usage

[edit]
php maintenance/convertUserOptions.php
Terminal

See also

[edit]