Translations:Manual:Developing extensions/135/en

The file name must be extension.json.