Translations:Manual:Developing extensions/13/en

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