Manual:convertUserOptions.php

From MediaWiki.org
Jump to navigation Jump to search

Other languages:
Deutsch • ‎English • ‎español • ‎français • ‎italiano • ‎polski • ‎português • ‎português do Brasil • ‎日本語

Details[edit]

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