Manual:convertUserOptions.php

From MediaWiki.org
Jump to navigation Jump to search

Other languages:
English • ‎español • ‎polski • ‎日本語

Details[edit]

convertUserOptions.php file is a maintenance script to convert user options to the new `user_properties` table.