Translations:Manual:$wgDBminWordLen/13/en

The only table with a fulltext index in wikimedia is searchindex, so after changing the mySQL configuration and restarting mySQL, issue the command $repair.