Fixes vimeo#10397

Explicitly state that we do not support document highlighting.
tm1000 · Nov 25, 2023 · 461ff95 · 461ff95
1 parent b654545
commit 461ff95
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/src/Psalm/Internal/LanguageServer/LanguageServer.php b/src/Psalm/Internal/LanguageServer/LanguageServer.php
@@ -507,6 +507,11 @@ function () use ($workDoneToken) {
                  * Support "Hover"
                  */
                 $serverCapabilities->hoverProvider = true;
+                /**
+                 * The server does not support documentHighlight-ing
+                 * Ref: https://github.com/vimeo/psalm/issues/10397
+                 */
+                $serverCapabilities->documentHighlightProvider = false;
 
                 /**
                  * The server provides completion support.