From ba876de7c7c2c0e7324e66c0e470621ea8a674c5 Mon Sep 17 00:00:00 2001 From: Thomas Dalichow Date: Wed, 29 Nov 2017 15:46:12 +0100 Subject: [PATCH] pixelpark - dev-monitoring: Update PHP 7.1 --- customer/pixelpark/dev-monitoring.pixelpark.com.yaml | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/customer/pixelpark/dev-monitoring.pixelpark.com.yaml b/customer/pixelpark/dev-monitoring.pixelpark.com.yaml index 82bb84c3..b903e461 100644 --- a/customer/pixelpark/dev-monitoring.pixelpark.com.yaml +++ b/customer/pixelpark/dev-monitoring.pixelpark.com.yaml @@ -270,7 +270,8 @@ infra::profile::icinga2::object::notificationcommand: # php + webserver -repo::remi_php70: true +repo::remi_php70: false +repo::remi_php71: true infra::profile::apache::pp_vhosts: icingaweb2: -- 2.39.5