Translations:Manual:CleanupPreferences.php/2/en

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