Translations:Manual:CleanupPreferences.php/2/en

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