Manual:ConvertUserOptions.php/fr

This page is a translated version of the page Manual:ConvertUserOptions.php and the translation is 14% complete.
Other languages:
Version de MediaWiki :
1.35

Détails

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