]> git.openstreetmap.org Git - chef.git/blobdiff - cookbooks/mediawiki/templates/default/mw-ext-CirrusSearch.inc.php.erb
Merge remote-tracking branch 'github/pull/102'
[chef.git] / cookbooks / mediawiki / templates / default / mw-ext-CirrusSearch.inc.php.erb
index 87c817c58a184192b10faf67dec659930b7b1f58..12fe10e5bab7e334ce38e209a1ee0501bdd6c89c 100644 (file)
@@ -1,5 +1,5 @@
 <?php
 # DO NOT EDIT - This file is being maintained by Chef
-require_once( $IP.'/extensions/CirrusSearch/CirrusSearch.php' );
+require_once($IP .'/extensions/CirrusSearch/CirrusSearch.php');
 $wgDisableSearchUpdate = false;
 $wgSearchType = 'CirrusSearch';