From 333ebf08026cf872fd7700bcd1c357fdb0336646 Mon Sep 17 00:00:00 2001
From: Felix Becker <felix.b@outlook.com>
Date: Wed, 4 Jan 2017 16:27:35 -0800
Subject: [PATCH] Add missing documentLoader property

---
 src/LanguageServer.php | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/src/LanguageServer.php b/src/LanguageServer.php
index b4b2151..595c20b 100644
--- 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