]> 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 87c817c58a184192b10faf67dec659930b7b1f58..ddb87f166eb3d755f92d597498c95ee347204b6a 100644 (file)
@@ -1,5 +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';