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.