[php] setting to disable suggestions and hover (for #9003)

This commit is contained in:
Martin Aeschlimann
2017-01-23 15:24:59 +01:00
parent 2e3c7b21f0
commit 1ff2c4809d
5 changed files with 16 additions and 6 deletions

View File

@@ -39,10 +39,10 @@
"type": "object",
"order": 20,
"properties": {
"php.builtInCompletions.enable": {
"php.suggest.basic": {
"type": "boolean",
"default": true,
"description": "%configuration.builtInCompletions.enable%"
"description": "%configuration.suggest.basic%"
},
"php.validate.enable": {
"type": "boolean",