Merge 13c6ea1ec8 into 6001269db0

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"
         }
       }
     }

src/extension.ts

@@ -128,7 +128,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