From 0e04ba90bdd71977f043294988d6d64d09ac2e4d Mon Sep 17 00:00:00 2001
From: woutersioen <wouter.sioen@gmail.com>
Date: Fri, 6 Apr 2018 14:56:13 +0200
Subject: [PATCH] Don't add the <?php prefix to the hover return data

---
 src/Server/TextDocument.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/Server/TextDocument.php b/src/Server/TextDocument.php
index e5657b3..f6362a5 100644
--- a/src/Server/TextDocument.php
+++ b/src/Server/TextDocument.php
@@ -338,7 +338,7 @@ class TextDocument
             }
             $contents = [];
             if ($def->declarationLine) {
-                $contents[] = new MarkedString('php', "<?php\n" . $def->declarationLine);
+                $contents[] = new MarkedString('php', $def->declarationLine);
             }
             if ($def->documentation) {
                 $contents[] = $def->documentation;