From 68fcbebea0ccac8ad03d9999ed6199742883df5b Mon Sep 17 00:00:00 2001
From: jurgenhaas <juergen@paragon-es.de>
Date: Fri, 14 Dec 2018 14:34:24 +0100
Subject: [PATCH] Store php version as PHP_VERSION environment variable

---
 src/Handler.php | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/Handler.php b/src/Handler.php
index 28ea2d0..c546f3d 100644
--- a/src/Handler.php
+++ b/src/Handler.php
@@ -297,6 +297,7 @@ class Handler extends BaseHandler {
       $options['projectroot'] = $projectRoot;
 
       $this->options = $env->replaceEnvironmentVariables($options);
+      $env->put('PHP_VERSION', $this->options['php']['version'], TRUE);
     }
     if ($key !== NULL) {
       return $this->options[$key];
-- 
GitLab