Translations:Manual:Extension.json/Schema/227/en

The first setting, $1, has keys that are numbers, so PHP will turn them into integers, even though they are strings in JSON.