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

diff --git a/manifests/role/dev/drupal8.pp b/manifests/role/dev/drupal8.pp
index 73e3393929733713be7e51270464b0013c62443d..6196f5c91bf1b452e0015800164a1df5e974076a 100644 (file)
--- 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',