From 940eb9787d98204887210d0b18016235f841b4e5 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?J=C3=BCrgen=20Steitz?= <juergen.esipov@googlemail.com>
Date: Thu, 2 Mar 2017 23:11:38 +0100
Subject: [PATCH] Pass options and indexer to workspace

---
 src/LanguageServer.php | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/src/LanguageServer.php b/src/LanguageServer.php
index d3b1c5c..62b8400 100644
--- a/src/LanguageServer.php
+++ b/src/LanguageServer.php
@@ -261,7 +261,9 @@ class LanguageServer extends AdvancedJsonRpc\Dispatcher
                     $sourceIndex,
                     $this->composerLock,
                     $this->documentLoader,
-                    $this->composerJson
+                    $this->composerJson,
+                    $indexer,
+                    $initializationOptions
                 );
             }