Translations:Manual:ConvertUserOptions.php/4/de