From 03e4e34a4e5b52ddb64082702aced485bbcfa31e Mon Sep 17 00:00:00 2001 From: Felix Becker Date: Sun, 9 Oct 2016 19:09:28 +0200 Subject: [PATCH] Don't %-decode the document URI --- src/Project.php | 1 - 1 file changed, 1 deletion(-) diff --git a/src/Project.php b/src/Project.php index b889c8f..d9ff73d 100644 --- a/src/Project.php +++ b/src/Project.php @@ -55,7 +55,6 @@ class Project */ public function getDocument(string $uri) { - $uri = urldecode($uri); if (!isset($this->documents[$uri])) { $this->documents[$uri] = new PhpDocument($uri, $this, $this->client, $this->parser); }