From 9bc60c4d850a936a4fdd3946a33fe5a2f60840f9 Mon Sep 17 00:00:00 2001
From: amette <mail@amette.eu>
Date: Thu, 16 Mar 2017 16:46:48 +0100
Subject: [PATCH] Allow installing PHP 7.1 on Debian

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

diff --git a/manifests/globals.pp b/manifests/globals.pp
index b0094bbc..cc9f111e 100644
--- a/manifests/globals.pp
+++ b/manifests/globals.pp
@@ -83,7 +83,7 @@
             $fpm_service_name     = "php${globals_php_version}-fpm"
             $ext_tool_enable      = "/usr/sbin/phpenmod -v ${globals_php_version}"
             $ext_tool_query       = "/usr/sbin/phpquery -v ${globals_php_version}"
-            $package_prefix       = 'php7.0-'
+            $package_prefix       = "php${globals_php_version}-"
           }
           default: {
             $default_config_root  = '/etc/php5'