Manual:ConvertUserOptions.php/fr

Détails
Le fichier convertUserOptions.php est un script de maintenance pour convertir les options d'utilisateur au nouveau tableau user_properties.

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
Ce script n'a pas d'options.

Utilisation
