Manuel:ConvertUserOptions.php
 | Cette fonctionnalité a été supprimée entièrement dans la version 1.36. |
| Version de MediaWiki : | ≤ 1.35 |
| Fichier MediaWiki : convertUserOptions.php | |
|---|---|
| Emplacement : | maintenance/ |
| Code source : | master • 1.42.3 • 1.41.4 • 1.39.10 |
| Classes : | ConvertUserOptions |
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 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
Ce script n'a pas d'options.
Utilisation
php maintenance/convertUserOptions.php
Terminal
$ php maintenance/convertUserOptions.php ...batch conversion of user_options: nothing to migrate.