Translations:Manual:Developing extensions/139/en

The file name MyExtension_body.php is conventional but not required.