Allow installing PHP 7.1 on Debian

voxpupuli · Mar 16, 2017 · 9bc60c4 · 9bc60c4
1 parent 3fb3602
commit 9bc60c4
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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'