Use short PHP version

Author: barryvdh

src/DebugBar/DataCollector/PhpInfoCollector.php

@@ -29,7 +29,7 @@ public function getName()
     public function collect()
     {
         return array(
-            'version' => PHP_VERSION,
+            'version' => implode('.', [PHP_MAJOR_VERSION, PHP_MINOR_VERSION, PHP_RELEASE_VERSION]),
             'interface' => PHP_SAPI
         );
     }