Add missing documentLoader property

2017-01-04 16:27:35 -08:00 · 2017-01-04 16:27:35 -08:00 · 333ebf0802
parent fc5f356d37
commit 333ebf0802
1 changed files with 5 additions and 0 deletions
--- a/src/LanguageServer.php
+++ b/src/LanguageServer.php
@ -76,6 +76,11 @@ class LanguageServer extends AdvancedJsonRpc\Dispatcher
     */
    protected $contentRetriever;

+    /**
+     * @var PhpDocumentLoader
+     */
+    protected $documentLoader;
+
    /**
     * @param PotocolReader  $reader
     * @param ProtocolWriter $writer