Translations:Manual:CleanupPreferences.php/5/en

It contains the $DeleteUnknownPreferences hook.