Manual:cleanupPreferences.php

From mediawiki.org
Other languages:
MediaWiki version:
1.20

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.

Options/Arguments[edit]

Option Description Required?
--dry-run Print debug info instead of actually deleting Optional
--hidden Drop hidden preferences ($wgHiddenPrefs) Optional
--unknown Drop unknown preferences (not in $wgDefaultUserOptions or prefixed with "userjs-") Optional

Usage[edit]

php maintenance/cleanupPreferences.php [ --dry-run| --hidden| --unknown ]
Terminal
$ php maintenance/cleanupPreferences.php --unknown

Dropping unknown preferences...
..doing 4 entries
DONE! (handled 4 entries)

See also[edit]