From a8d0f9d8de4516c4f184083b3ab545ff4206cd30 Mon Sep 17 00:00:00 2001
From: Silvio Rhatto <rhatto@riseup.net>
Date: Thu, 7 Feb 2019 19:11:06 -0200
Subject: Distinct PHP 7 version for stretch

---
 manifests/params.pp | 14 +++++++++++---
 1 file changed, 11 insertions(+), 3 deletions(-)

diff --git a/manifests/params.pp b/manifests/params.pp
index affd1ee..aa1d85e 100644
--- a/manifests/params.pp
+++ b/manifests/params.pp
@@ -1,7 +1,15 @@
 class php::params {
-  $version7          = '7.2'
-  $version7_previous = [ '7.0' ]
-  $version5          = $::lsbdistcodename ? {
+  $version7 = $::lsbdistcodename ? {
+    'stretch' => '7.1',
+    default   => '7.2',
+  }
+
+  $version7_previous = $::lsbdistcodename ? {
+    'stretch' => '7.0',
+    default   => '7.0',
+  }
+
+  $version5 = $::lsbdistcodename ? {
     'bionic'  => '5.6',
     'xenial'  => '5.6',
     'trusty'  => '5.6',
-- 
cgit v1.2.3