icedream
/
php-language-server
1
0
Fork 0
Code Releases Activity

Change didChangeConfiguration doc to protocol wording

pull/668/head
Jürgen Steitz 2017-03-04 17:26:23 +01:00
parent 23a40f069b
commit f4f106766f
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/Server/Workspace.php
View File

@ -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 * The default paramter type is Options but it also accepts different types
* which will be transformed on demand. * which will be transformed on demand.