#9003 Provide temporary option to disable the built-in PHP completion provider.

This option enables extension authors providing PHP support to prevent needless duplication in the completions list. We can remove it when we extract this functionality to a separate extension.
This commit is contained in:
Sara Itani
2017-01-22 22:15:49 -08:00
parent f675d5105d
commit cf77a2cf8c
4 changed files with 17 additions and 4 deletions

View File

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