Manual:convertUserOptions.php

<td class="mw-version-versionbox" title="<translate nowrap> MediaWiki <tvar name=1>1.35</tvar> is unsupported version</translate>">

<translate> ≤</translate> 1.35

<translate> MediaWiki version:</translate>

Archivo de MediaWiki: convertUserOptions.php
Ubicación:	maintenance/
Código fuente:	master • 1.41.1 • 1.40.3 • 1.39.7
Clases:	ConvertUserOptions

Detalles

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

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

This script does not accept any options.

Usage

php maintenance/convertUserOptions.php

Terminal

$  php maintenance/convertUserOptions.php

...batch conversion of user_options: nothing to migrate.

See also

• userOptions.php
• initUserPreference.php
• User preferences