Translations:Manual:ConvertUserOptions.php/7/de