Translations:Manual:$wgDBminWordLen/15/en

While the effects of the setting were removed in version 1.6, the variable wasn't removed from DefaultSettings until version 1.14 ($rev).