symfony
diff --git a/‎src/Symfony/Bundle/WebProfilerBundle/Resources/views/Collector/config.html.twig
Copy file name to clipboardExpand all lines: src/Symfony/Bundle/WebProfilerBundle/Resources/views/Collector/config.html.twig
+2-2Lines changed: 2 additions & 2 deletions b/‎src/Symfony/Bundle/WebProfilerBundle/Resources/views/Collector/config.html.twig
Copy file name to clipboardExpand all lines: src/Symfony/Bundle/WebProfilerBundle/Resources/views/Collector/config.html.twig
+2-2Lines changed: 2 additions & 2 deletions
diff --git a/‎src/Symfony/Component/HttpKernel/DataCollector/ConfigDataCollector.php
Copy file name to clipboardExpand all lines: src/Symfony/Component/HttpKernel/DataCollector/ConfigDataCollector.php
+15Lines changed: 15 additions & 0 deletions b/‎src/Symfony/Component/HttpKernel/DataCollector/ConfigDataCollector.php
Copy file name to clipboardExpand all lines: src/Symfony/Component/HttpKernel/DataCollector/ConfigDataCollector.php
+15Lines changed: 15 additions & 0 deletions
diff --git a/‎src/Symfony/Component/HttpKernel/Tests/DataCollector/ConfigDataCollectorTest.php
Copy file name to clipboardExpand all lines: src/Symfony/Component/HttpKernel/Tests/DataCollector/ConfigDataCollectorTest.php
+2-1Lines changed: 2 additions & 1 deletion b/‎src/Symfony/Component/HttpKernel/Tests/DataCollector/ConfigDataCollectorTest.php
Copy file name to clipboardExpand all lines: src/Symfony/Component/HttpKernel/Tests/DataCollector/ConfigDataCollectorTest.php
+2-1Lines changed: 2 additions & 1 deletion
@@ -75,7 +75,7 @@
         <div class="sf-toolbar-info-group">
             <div class="sf-toolbar-info-piece sf-toolbar-info-php">
                 <b>PHP version</b>
-                <span>
+                <span{% if collector.phpversionextra %} title="{{ collector.phpversion ~ collector.phpversionextra }}"{% endif %}>
                     {{ collector.phpversion }}
                     &nbsp; <a href="{{ path('_profiler_phpinfo') }}">View phpinfo()</a>
                 </span>
@@ -213,7 +213,7 @@
 
     <div class="metrics">
         <div class="metric">
-            <span class="value">{{ collector.phpversion }}</span>
+            <span class="value">{{ collector.phpversion }}{% if collector.phpversionextra %} <span class="unit">{{ collector.phpversionextra }}</span>{% endif %}</span>
             <span class="label">PHP version</span>
         </div>
 
 
@@ -89,6 +89,11 @@ public function collect(Request $request, Response $response, \Exception $except
             $this->data['symfony_eom'] = $eom->format('F Y');
             $this->data['symfony_eol'] = $eol->format('F Y');
         }
+
+        if (preg_match('~^(\d+(?:\.\d+)*)(.+)?$~', $this->data['php_version'], $matches) && isset($matches[2])) {
+            $this->data['php_version'] = $matches[1];
+            $this->data['php_version_extra'] = $matches[2];
+        }
     }
 
     public function getApplicationName()
@@ -174,6 +179,16 @@ public function getPhpVersion()
         return $this->data['php_version'];
     }
 
+    /**
+     * Gets the PHP version extra part.
+     *
+     * @return string|null The extra part
+     */
+    public function getPhpVersionExtra()
+    {
+        return isset($this->data['php_version_extra']) ? $this->data['php_version_extra'] : null;
+    }
+
     /**
      * @return int The PHP architecture as number of bits (e.g. 32 or 64)
      */
 
@@ -30,7 +30,8 @@ public function testCollect()
         $this->assertTrue($c->isDebug());
         $this->assertSame('config', $c->getName());
         $this->assertSame('testkernel', $c->getAppName());
-        $this->assertSame(PHP_VERSION, $c->getPhpVersion());
+        $this->assertRegExp('~^'.preg_quote($c->getPhpVersion(), '~').'~', PHP_VERSION);
+        $this->assertRegExp('~'.preg_quote((string) $c->getPhpVersionExtra(), '~').'$~', PHP_VERSION);
         $this->assertSame(PHP_INT_SIZE * 8, $c->getPhpArchitecture());
         $this->assertSame(class_exists('Locale', false) && \Locale::getDefault() ? \Locale::getDefault() : 'n/a', $c->getPhpIntlLocale());
         $this->assertSame(date_default_timezone_get(), $c->getPhpTimezone());