From: Silvio Rhatto <rhatto@riseup.net>
Date: Wed, 16 Jan 2019 19:11:54 +0000 (-0200)
Subject: Use php 7.2 at nodo::role::dev::drupal8
X-Git-Url: https://gitweb.fluxo.info/?a=commitdiff_plain;h=441bf667585af309e926a8894240d35fed253db6;p=puppet-nodo.git

Use php 7.2 at nodo::role::dev::drupal8
---

diff --git a/manifests/role/dev/drupal8.pp b/manifests/role/dev/drupal8.pp
index 73e3393..6196f5c 100644
--- a/manifests/role/dev/drupal8.pp
+++ b/manifests/role/dev/drupal8.pp
@@ -36,7 +36,7 @@ class nodo::role::dev::drupal8(
   #file { '/etc/php5/apache2/conf.d/20-xdebug-levels.ini':
   #file { '/etc/php/5.6/apache2/conf.d/20-xdebug-levels.ini':
   #file { '/etc/php/7.0/apache2/conf.d/20-xdebug-levels.ini':
-  file { '/etc/php/7.0/mods-available/20-xdebug-levels.ini':
+  file { '/etc/php/7.2/mods-available/20-xdebug-levels.ini':
     ensure  => present,
     owner   => 'root',
     group   => 'root',