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.