diff --git a/src/Server/TextDocument.php b/src/Server/TextDocument.php index 32ec8e4..e4adc22 100644 --- a/src/Server/TextDocument.php +++ b/src/Server/TextDocument.php @@ -244,7 +244,11 @@ class TextDocument return []; } $def = $this->definitionResolver->resolveReferenceNodeToDefinition($node); - if ($def === null || $def->symbolInformation === null) { + if ( + $def === null + || $def->symbolInformation === null + || Uri\parse($def->symbolInformation->location->uri)['scheme'] === 'phpstubs' + ) { return []; } return $def->symbolInformation->location;