Merge pull request #329 from amette/master

Allow installing PHP 7.1 on Debian
voxpupuli · Jul 13, 2017 · 7429e50 · 7429e50
2 parents dc9e9cc + 9bc60c4
commit 7429e50
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/manifests/globals.pp b/manifests/globals.pp
@@ -73,7 +73,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'