From 13c6ea1ec8efda7e1660553be71a51e13ed5fca7 Mon Sep 17 00:00:00 2001 From: Robert Lu Date: Wed, 22 May 2019 14:59:35 +0800 Subject: [PATCH] feat: add php.trace.server --- package.json | 11 +++++++++++ src/extension.ts | 2 +- 2 files changed, 12 insertions(+), 1 deletion(-) diff --git a/package.json b/package.json index 722b8f9..1cf27b1 100644 --- a/package.json +++ b/package.json @@ -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" } } } diff --git a/src/extension.ts b/src/extension.ts index b683da5..634b114 100644 --- a/src/extension.ts +++ b/src/extension.ts @@ -126,7 +126,7 @@ export async function activate(context: vscode.ExtensionContext): Promise } // 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