Manual:ConvertUserOptions.php/de-formal

Details
convertUserOptions.php file is a maintenance script to convert user options to the new user_properties table.

Prior to MediaWiki 1.18, the field was used to store users' Special:Preferences information as list of name=value pairs. This script converts these fields to the new table.

Options
This script does not accept any options.