Manual:ConvertUserOptions.php

From MediaWiki.org
Jump to navigation Jump to search
This page is a translated version of the page Manual:ConvertUserOptions.php and the translation is 67% complete.

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

Detalles

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