Translations:Manual:Developing extensions/139/de

Der Dateiname MyExtension_body.php ist üblich, aber nicht zwingend vorgeschrieben.