Translations:Manual:CleanupPreferences.php/12/en

Drop unknown preferences (not in $wgDefaultUserOptions or prefixed with "userjs-")