Manual:ConvertUserOptions.php

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

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

Options
convertUserOptions.php does not accept any option.