From 37e5ed4ccebddbc842d6d14efe63f7efe5229652 Mon Sep 17 00:00:00 2001
From: Felix Becker <felix.b@outlook.com>
Date: Tue, 20 Jun 2017 13:31:59 +0200
Subject: [PATCH] Add type information to hovers

---
 src/Server/TextDocument.php | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/Server/TextDocument.php b/src/Server/TextDocument.php
index 2e8e4bf..50cf338 100644
--- a/src/Server/TextDocument.php
+++ b/src/Server/TextDocument.php
@@ -318,6 +318,9 @@ class TextDocument
             if ($def->declarationLine) {
                 $contents[] = new MarkedString('php', "<?php\n" . $def->declarationLine);
             }
+            if ($def->type) {
+                $contents[] = new MarkedString('text', (string)$def->type);
+            }
             if ($def->documentation) {
                 $contents[] = $def->documentation;
             }