Merge pull request #8876 from weirdan/fix-8873

Fixes #8873
vimeo · Dec 10, 2022 · 1750ec1 · 1750ec1
2 parents 16cdeb9 + d19759c
commit 1750ec1
Showing 1 changed file with 8 additions and 0 deletions.
diff --git a/src/Psalm/Internal/LanguageServer/LanguageServer.php b/src/Psalm/Internal/LanguageServer/LanguageServer.php
@@ -15,6 +15,7 @@
 use Amp\Success;
 use Generator;
 use InvalidArgumentException;
+use JsonMapper;
 use LanguageServerProtocol\ClientCapabilities;
 use LanguageServerProtocol\CompletionOptions;
 use LanguageServerProtocol\Diagnostic;
@@ -108,6 +109,13 @@ class LanguageServer extends Dispatcher
      */
     protected $current_issues = [];
 
+    /**
+     * This should actually be a private property on `parent`
+     * @psalm-suppress UnusedProperty
+     * @var JsonMapper
+     */
+    protected $mapper;
+
     public function __construct(
         ProtocolReader $reader,
         ProtocolWriter $writer,