Manual:ConvertUserOptions.php

Versão do MediaWiki:

≤ 1.35

Arquivo do MediaWiki: convertUserOptions.php
Localização:	maintenance/
Código-fonte:	master • 1.44.2 • 1.43.5 • 1.39.15
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.

Ver também

• userOptions.php
• initUserPreference.php
• User preferences