Manual:cleanupPreferences.php

From MediaWiki.org
Jump to navigation Jump to search
Other languages:
English • ‎español • ‎polski • ‎日本語

Details[edit]

cleanupPreferences.php file is a maintenance script to delete user preference values which are hidden by $wgHiddenPrefs , or those that are unknown (e.g. were added by a since-uninstalled extension).

It contains the DeleteUnknownPreferences hook.

Usage[edit]

php cleanupPreferences.php