Translations:Manual:ConvertExtensionToRegistration.php/11/de