icedream
/
php-language-server
1
0
Fork 0
Code Releases Activity

Don't %-decode the document URI

pull/60/merge
Felix Becker 2016-10-09 19:09:28 +02:00
parent aff9edb630
commit 03e4e34a4e
1 changed files with 0 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
src/Project.php
View File

@ -55,7 +55,6 @@ class Project
*/ */
public function getDocument(string $uri) public function getDocument(string $uri)
{ {
$uri = urldecode($uri);
if (!isset($this->documents[$uri])) { if (!isset($this->documents[$uri])) {
$this->documents[$uri] = new PhpDocument($uri, $this, $this->client, $this->parser); $this->documents[$uri] = new PhpDocument($uri, $this, $this->client, $this->parser);
} }