From c37526e1d215c51dba944f8e817da80f98569893 Mon Sep 17 00:00:00 2001
From: Andreas Rudat <rudat@endstelle.de>
Date: Sun, 24 Sep 2017 18:34:44 +0200
Subject: [PATCH] fixed ubuntu version for php7

---
 manifests/globals.pp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/manifests/globals.pp b/manifests/globals.pp
index 9d003940..b4552689 100644
--- a/manifests/globals.pp
+++ b/manifests/globals.pp
@@ -20,7 +20,7 @@
   $default_php_version = $facts['os']['family'] ? {
     'Debian' => $facts['os']['name'] ? {
       'Ubuntu' => $facts['os']['release']['full'] ? {
-        /^(16.04)$/ => '7.0',
+        /^(1[67].04)$/ => '7.0',
         default => '5.x',
       },
       default => '5.x',