pixelpark - dev-monitoring: Update PHP 7.1

diff --git a/customer/pixelpark/dev-monitoring.pixelpark.com.yaml b/customer/pixelpark/dev-monitoring.pixelpark.com.yaml
index 82bb84c316648edcc62ee1161cc25ea8cecee118..b903e461baba32307cca64c33f86be38dfb327d5 100644 (file)
--- 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: