]> git.openstreetmap.org Git - chef.git/commit
Use PHP 7.2 for mediawiki everywhere
authorTom Hughes <tom@compton.nu>
Thu, 28 Jun 2018 09:54:41 +0000 (10:54 +0100)
committerTom Hughes <tom@compton.nu>
Thu, 28 Jun 2018 09:54:41 +0000 (10:54 +0100)
commit5c64c57e2357a3c48a06d3bcc378de3238d59128
tree4914c9db0938d0f5103bb714ccfc73914638a9ad
parentbff262debe7a3c7fb831433066c17028bb5d9e06
Use PHP 7.2 for mediawiki everywhere
cookbooks/mediawiki/recipes/default.rb