This commit is contained in:
Dirk Baeumer
2015-12-04 12:32:00 +01:00
parent da5268f6a0
commit 93f3088584
2 changed files with 20 additions and 12 deletions

View File

@@ -21,6 +21,11 @@
"title": "PHP Configuration options",
"type": "object",
"properties": {
"php.validate.enable": {
"type": "boolean",
"default": true,
"description": "Whether php validation is enabled or not."
},
"php.validate.executablePath": {
"type": "string",
"default": null,