Add configuration options

pull/77/head
Jürgen Steitz 2017-02-18 01:29:15 +01:00
parent 16267428d2
commit b1175e61cf
1 changed files with 15 additions and 0 deletions

View File

@ -36,6 +36,21 @@
"activationEvents": [ "activationEvents": [
"onLanguage:php" "onLanguage:php"
], ],
"contributes": {
"configuration": {
"type": "object",
"title": "PHP IntelliSense",
"properties": {
"php.intellisense.fileTypes": {
"type": "array",
"default": [
".php"
],
"description": "An array of file types which should be indexed by the language server."
}
}
}
},
"main": "./out/extension", "main": "./out/extension",
"scripts": { "scripts": {
"compile": "tsc -p .", "compile": "tsc -p .",