]> git.openstreetmap.org Git - chef.git/commitdiff
mediawiki: increase wgHTTPTimeout
authorGrant Slater <git@firefishy.com>
Fri, 5 Aug 2022 14:16:32 +0000 (17:16 +0300)
committerGrant Slater <git@firefishy.com>
Fri, 5 Aug 2022 14:16:32 +0000 (17:16 +0300)
cookbooks/mediawiki/templates/default/LocalSettings.php.erb

index 1efeb757a806b81d18d3e7db01d537d25803e5f5..af915be2242715bb9d4e0cafab15c6ead348dbb3 100644 (file)
@@ -419,3 +419,8 @@ unset( $wgRemoveGroups['autoconfirmed'] );
 unset( $wgGroupsAddToSelf['autoconfirmed'] );
 unset( $wgGroupsRemoveFromSelf['autoconfirmed'] );
 <% end -%>
+
+# Increase curl timeout to allow parsoid requests to heavy pages like Map Features
+# Mediawiki 1.38 has fix to allow this to be set by $wgVirtualRestConfig
+# https://phabricator.wikimedia.org/T285478
+$wgHTTPTimeout = 60;