From a1381f6225935808531d13b872ade1534d79030f Mon Sep 17 00:00:00 2001
From: Brion Vibber <brion@users.mediawiki.org>
Date: Fri, 19 Sep 2008 17:13:06 +0000
Subject: [PATCH] Drop $wgDBminWordLen from DefaultSettings.php -- hasn't been
 used since 1.6 dropped MySQL 3.x support.

---
 includes/DefaultSettings.php | 8 --------
 1 file changed, 8 deletions(-)

diff --git a/includes/DefaultSettings.php b/includes/DefaultSettings.php
index 7e704ce504..58efcbbc4a 100644
--- a/includes/DefaultSettings.php
+++ b/includes/DefaultSettings.php
@@ -678,14 +678,6 @@ $wgDBClusterTimeout = 10;
  */
 $wgDBAvgStatusPoll = 2000;
 
-/**
- * wgDBminWordLen :
- * MySQL 3.x : used to discard words that MySQL will not return any results for
- * shorter values configure mysql directly.
- * MySQL 4.x : ignore it and configure mySQL
- * See: http://dev.mysql.com/doc/mysql/en/Fulltext_Fine-tuning.html
- */
-$wgDBminWordLen     = 4;
 /** Set to true if using InnoDB tables */
 $wgDBtransactions	= false;
 /** Set to true for compatibility with extensions that might be checking.
-- 
2.20.1