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

also remove empty namespace index

pull/451/head
Nicolas MURE 2017-08-08 23:33:40 +02:00
parent 17602aa768
commit 6d30035c78
No known key found for this signature in database
GPG Key ID: E5B036F9145C4CAA
1 changed files with 4 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/Index/Index.php
View File

@ -313,6 +313,10 @@ class Index implements ReadableIndex, \Serializable
$namespace = $this->extractNamespace($fqn);
if (isset($this->namespaceDefinitions[$namespace])) {
unset($this->namespaceDefinitions[$namespace][$fqn]);
if (0 === sizeof($this->namespaceDefinitions[$namespace])) {
unset($this->namespaceDefinitions[$namespace]);
}
}
}