]> git.openstreetmap.org Git - chef.git/blobdiff - cookbooks/mediawiki/templates/default/mw-ext-CirrusSearch.inc.php.erb
mediawiki: increase wgHTTPTimeout again
[chef.git] / cookbooks / mediawiki / templates / default / mw-ext-CirrusSearch.inc.php.erb
index 7f69d41bb2fb93d41d6dec92cefee8c29b7a7f14..ddb87f166eb3d755f92d597498c95ee347204b6a 100644 (file)
@@ -1,12 +1,5 @@
 <?php
 # DO NOT EDIT - This file is being maintained by Chef
-require_once($IP .'/extensions/CirrusSearch/CirrusSearch.php');
+wfLoadExtension( 'CirrusSearch' );
 $wgDisableSearchUpdate = false;
 $wgSearchType = 'CirrusSearch';
-
-<% if @mediawiki[:site] === "wiki.openstreetmap.org" %>
-# setting the search weight of the main wiki's proposal namespace lower then general talk pages (0.2), but
-# higher then wiki project namespace (0.1)
-# Documentation at https://phabricator.wikimedia.org/source/extension-cirrussearch/browse/master/docs/settings.txt$693
-$wgCirrusSearchNamespaceWeights = array_merge ( $wgCirrusSearchNamespaceWeights, array ( NS_PROPOSAL => 0.15 ));
-<% end -%>