Use PHP 7.2 for mediawiki on Ubuntu 18.04

[chef.git] / cookbooks / mediawiki / attributes / default.rb

diff --git a/cookbooks/mediawiki/attributes/default.rb b/cookbooks/mediawiki/attributes/default.rb
index 59f020120dbfa053a0cbd976edf4d68aa110d1c3..59838f9206df8dbd529d19798c47816d977ce825 100644 (file)
--- a/cookbooks/mediawiki/attributes/default.rb
+++ b/cookbooks/mediawiki/attributes/default.rb
@@ -1,3 +1,6 @@
+# Add the mediawiki APT source
+default[:apt][:sources] = node[:apt][:sources] | ["mediawiki"]
+
 # Default to enabling the "wiki" role
 default[:accounts][:users][:wiki][:status] = :role
 
@@ -8,4 +11,3 @@ default[:apache][:mpm] = "prefork"
 default[:mediawiki][:user] = "wiki"
 default[:mediawiki][:group] = "wiki"
 default[:mediawiki][:sites] = {}
-