Manual:ConvertUserOptions.php/es

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