Manual:convertUserOptions.php

The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.

File:OOjs UI icon alert-destructive.svg

<translate> This feature was removed completely in version <tvar name=ver>1.36</tvar>.</translate>

<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>

Fichier MediaWiki : convertUserOptions.php
Emplacement :	maintenance/
Code source :	master • 1.41.1 • 1.40.3 • 1.39.7
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.

Voir aussi