From 06d3100f04232db0f0b495a72f2776cea7fe5738 Mon Sep 17 00:00:00 2001
From: Felix Becker <felix.b@outlook.com>
Date: Thu, 15 Sep 2016 11:07:44 +0200
Subject: [PATCH] Handle OS in PHP version string

---
 src/extension.ts | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/extension.ts b/src/extension.ts
index 1e095b6..3b522eb 100644
--- a/src/extension.ts
+++ b/src/extension.ts
@@ -21,7 +21,8 @@ export function activate(context: vscode.ExtensionContext) {
             return;
         }
 
-        let version = stdout.toString().match(/^PHP ([^\s]+)/)[1];
+        // Parse version and discard OS info like 7.0.8--0ubuntu0.16.04.2
+        let version = stdout.toString().match(/^PHP ([^\s]+)/)[1].split('-')[0];
         // Convert PHP prerelease format like 7.0.0rc1 to 7.0.0-rc1
         if (!/^\d+.\d+.\d+$/.test(version)) {
             version = version.replace(/(\d+.\d+.\d+)/, '$1-');