diff options
author | Silvio Rhatto <rhatto@riseup.net> | 2017-11-28 10:49:34 -0200 |
---|---|---|
committer | Silvio Rhatto <rhatto@riseup.net> | 2017-11-28 10:49:34 -0200 |
commit | 12358ae071f956676ada0e4310910d540e607eb5 (patch) | |
tree | 943901be8b09ee349c0c5ee152ad2baa67675c30 /manifests | |
parent | 33f55f787ba2242d3fe0a455e4575539d761e859 (diff) | |
download | puppet-nodo-12358ae071f956676ada0e4310910d540e607eb5.tar.gz puppet-nodo-12358ae071f956676ada0e4310910d540e607eb5.tar.bz2 |
Use php 5 at nodo::role::dev::drupal7
Diffstat (limited to 'manifests')
-rw-r--r-- | manifests/role/dev/drupal7.pp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/manifests/role/dev/drupal7.pp b/manifests/role/dev/drupal7.pp index fd17192..0084ea1 100644 --- a/manifests/role/dev/drupal7.pp +++ b/manifests/role/dev/drupal7.pp @@ -12,7 +12,7 @@ class nodo::role::dev::drupal7( include apache include nodo::utils::development::web include nodo::utils::development::php - include php::series7 + include php::series5 include database include drupal |