From f4f106766f8fcf4bab1ce6be6a06888e232528ac Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?J=C3=BCrgen=20Steitz?= <juergen.esipov@googlemail.com>
Date: Sat, 4 Mar 2017 17:26:23 +0100
Subject: [PATCH] Change didChangeConfiguration doc to protocol wording

---
 src/Server/Workspace.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/Server/Workspace.php b/src/Server/Workspace.php
index b983bf6..954e5e9 100644
--- a/src/Server/Workspace.php
+++ b/src/Server/Workspace.php
@@ -216,7 +216,7 @@ class Workspace
     }
 
     /**
-     * Fires when client changes settings in the client
+     * A notification sent from the client to the server to signal the change of configuration settings.
      *
      * The default paramter type is Options but it also accepts different types
      * which will be transformed on demand.