From 1efb09ba86a1dbae9b6765dda302d7353c0c047b Mon Sep 17 00:00:00 2001 From: Stephan Unverwerth Date: Sun, 18 Sep 2016 14:27:12 +0200 Subject: [PATCH] Fixed missing TextEdit using declaration --- src/PhpDocument.php | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/PhpDocument.php b/src/PhpDocument.php index 051dc96..a23b4de 100644 --- a/src/PhpDocument.php +++ b/src/PhpDocument.php @@ -2,7 +2,7 @@ namespace LanguageServer; -use \LanguageServer\Protocol\{Diagnostic, DiagnosticSeverity, Range, Position, SymbolKind}; +use \LanguageServer\Protocol\{Diagnostic, DiagnosticSeverity, Range, Position, SymbolKind, TextEdit}; use PhpParser\{Error, Comment, Node, ParserFactory, NodeTraverser, Lexer, Parser}; use PhpParser\PrettyPrinter\Standard as PrettyPrinter;