Jump to content

Manuel:ConvertUserOptions.php

From mediawiki.org
This page is a translated version of the page Manual:ConvertUserOptions.php and the translation is 100% complete.
Version de MediaWiki :
1.35

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

Voir aussi