Add type information to hovers
parent
08fe84de35
commit
37e5ed4cce
|
@ -318,6 +318,9 @@ class TextDocument
|
||||||
if ($def->declarationLine) {
|
if ($def->declarationLine) {
|
||||||
$contents[] = new MarkedString('php', "<?php\n" . $def->declarationLine);
|
$contents[] = new MarkedString('php', "<?php\n" . $def->declarationLine);
|
||||||
}
|
}
|
||||||
|
if ($def->type) {
|
||||||
|
$contents[] = new MarkedString('text', (string)$def->type);
|
||||||
|
}
|
||||||
if ($def->documentation) {
|
if ($def->documentation) {
|
||||||
$contents[] = $def->documentation;
|
$contents[] = $def->documentation;
|
||||||
}
|
}
|
||||||
|
|
Loading…
Reference in New Issue