Manual:ConvertUserOptions.php/de
Appearance
Diese Funktion wurde in der Version 1.36 vollständig entfernt. |
MediaWiki Version: | ≤ 1.35 |
MediaWiki-Datei: convertUserOptions.php | |
---|---|
Speicherort: | maintenance/ |
Quellcode: | master • 1.42.1 • 1.41.2 • 1.39.8 |
Klassen: | ConvertUserOptions |
Details
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.
Optionen
Dieses Skript nimmt keine Optionen an.
Verwendung
php maintenance/convertUserOptions.php
Terminal
$ php maintenance/convertUserOptions.php ...batch conversion of user_options: nothing to migrate.