Translations:Manual:ConvertExtensionToRegistration.php/14/de

Notwendig?