Fixes #4156: PHP settings documentation is not localized

This commit is contained in:
Martin Aeschlimann
2016-03-15 17:07:06 +01:00
parent 0093264a49
commit 9b737ec24e
2 changed files with 10 additions and 4 deletions

View File

@@ -21,24 +21,24 @@
"path": "./snippets/php.json"
}],
"configuration": {
"title": "PHP Configuration options",
"title": "%configuration.title%",
"type": "object",
"properties": {
"php.validate.enable": {
"type": "boolean",
"default": true,
"description": "Whether php validation is enabled or not."
"description": "%configuration.validate.enable%"
},
"php.validate.executablePath": {
"type": ["string", "null"],
"default": null,
"description": "Points to the php executable."
"description": "%configuration.validate.executablePath%"
},
"php.validate.run": {
"type": "string",
"enum": ["onSave", "onType"],
"default": "onSave",
"description": "Whether the linter is run on save or on type."
"description": "%configuration.validate.run%"
}
}
}