Manual:cleanupPreferences.php
Jump to navigation
Jump to search
| MediaWiki file: cleanupPreferences.php | |
|---|---|
| Location: | maintenance/ |
| Source code: | master • 1.36.0 • 1.35.2 • 1.31.14 |
| 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