Manual:ConvertUserOptions.php/de
 | Diese Funktion wurde in der Version 1.36 vollständig entfernt. |
| MediaWiki Version: | ≤ 1.35 |
| MediaWiki-Datei: convertUserOptions.php | |
|---|---|
| Speicherort: | maintenance/ |
| Quellcode: | master • 1.41.1 • 1.40.3 • 1.39.7 |
| 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.