Manual:ConvertUserOptions.php
 | Este recurso foi removido completamente na versão 1.36. |
| Versão MediaWiki: | ≤ 1.35 |
| Arquivo MediaWiki: convertUserOptions.php | |
|---|---|
| Local: | maintenance/ |
| Código fonte: | master • 1.42.3 • 1.41.4 • 1.39.10 |
| Classes: | ConvertUserOptions |
Detalhes
O arquivo convertUserOptions.php é um script de manutenção, utilizado para converter opções de usuário para a nova tabela 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.
Opções
Esse script não aceita opções.
Uso
php maintenance/convertUserOptions.php
Terminal
$ php maintenance/convertUserOptions.php ...batch conversion of user_options: nothing to migrate.