Manual:cleanupPreferences.php
Jump to navigation
Jump to search
MediaWiki file: cleanupPreferences.php | |
---|---|
Location: | maintenance/ |
Source code: | master • 1.35.1 • 1.31.12 |
Classes: | CleanupPreferences |
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