]> git.openstreetmap.org Git - chef.git/commitdiff
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)
cookbooks/mediawiki/recipes/default.rb

index b7654f3e8c383a150f5f03b571f337ee4096ec7a..43be0bb9ae5dbaddf0e205e7131dac0351b47ebf 100644 (file)
@@ -82,15 +82,9 @@ service "parsoid" do
   subscribes :restart, "template[/etc/mediawiki/parsoid/config.yaml]"
 end
 
-php_version = if node[:lsb][:release].to_f >= 18.04
-                "7.2"
-              else
-                "7.0"
-              end
+apache_module "php7.2"
 
-apache_module "php#{php_version}"
-
-link "/etc/php/#{php_version}/apache2/conf.d/20-wikidiff2.ini" do
+link "/etc/php/7.2/apache2/conf.d/20-wikidiff2.ini" do
   to "../../mods-available/wikidiff2.ini"
 end