Manual:convertUserOptions.php
Jump to navigation
Jump to search
| MediaWiki file: convertUserOptions.php | |
|---|---|
| Location: | maintenance/ |
| Source code: | master • 1.35.1 • 1.31.12 |
| Classes: | ConvertUserOptions |
Details[edit]
convertUserOptions.php file is a maintenance script to convert user options to the new `user_properties` table.