Translations:Manual:Developing extensions/9/en

The file name must be extension.json.