From 67be71a847acc5f61e17b393684e0116ea76319d Mon Sep 17 00:00:00 2001 From: Ivan Bozhanov Date: Thu, 19 Jan 2017 20:37:10 +0200 Subject: [PATCH] added missing class --- src/LanguageServer.php | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/LanguageServer.php b/src/LanguageServer.php index b4ba22b..bb97d69 100644 --- a/src/LanguageServer.php +++ b/src/LanguageServer.php @@ -12,7 +12,8 @@ use LanguageServer\Protocol\{ InitializeResult, SymbolInformation, TextDocumentIdentifier, - CompletionOptions + CompletionOptions, + SignatureHelpOptions }; use LanguageServer\FilesFinder\{FilesFinder, ClientFilesFinder, FileSystemFilesFinder}; use LanguageServer\ContentRetriever\{ContentRetriever, ClientContentRetriever, FileSystemContentRetriever};