Translations:Manual:ConvertExtensionToRegistration.php/7/de

Argumente: