Translations:Manual:ConvertUserOptions.php/1/de