feat: add php.trace.server

pull/431/head
Robert Lu 2019-05-22 14:59:35 +08:00
parent 3fdd166950
commit 13c6ea1ec8
2 changed files with 12 additions and 1 deletions

View File

@ -115,6 +115,17 @@
],
"default": null,
"description": "The path to a PHP 7+ executable."
},
"php.trace.server": {
"type": "string",
"enum": [
"off",
"messages",
"verbose"
],
"default": "off",
"description": "Traces the communication between VS Code and the PHP language server.",
"scope": "window"
}
}
}

View File

@ -126,7 +126,7 @@ export async function activate(context: vscode.ExtensionContext): Promise<void>
}
// Create the language client and start the client.
client = new LanguageClient('PHP Language Server', serverOptions, clientOptions)
client = new LanguageClient('php', 'Language Support for PHP', serverOptions, clientOptions)
const disposable = client.start()
// Push the disposable to the context's subscriptions so that the