Add missing changes for mediawiki upgrades

2020-09-05 23:43:28 +02:00
parent 7af26d6ad3
commit b7e2a72369
61 changed files with 1179 additions and 2252 deletions
--- a/cookbooks/php/templates/default/extension.ini.erb
+++ b/cookbooks/php/templates/default/extension.ini.erb
@@ -1,4 +1,7 @@
 ; configuration for php <%= @name %> module
+<% if @priority %>
+; priority=<%= @priority %>
+<% end -%>
 <% @extensions.each do |filepath, zend| -%>
 <%= 'zend_' if zend %>extension=<%= filepath %>
 <% end -%>
--- a/cookbooks/php/templates/default/php.ini.erb
+++ b/cookbooks/php/templates/default/php.ini.erb