On Tue, Jan 19, 2010 at 4:25 AM, Javier Bezos jbezos@fundeu.es wrote:
We are using mediaWiki 1.14.1.
Our wiki is about language, so case is significant and "word" and "Word" could be quite different things. Accordingly, $wgCapitalLinks has been set to false. However, the behaviour is somewhat strange. If, for example, "word" exists, but "Word" doesn't:
- Searching for "word" shows "word" -- OK
- Searching for "Word" shows "word", which is wrong because
they are different thing.
Search is case-insensitive in MediaWiki by default. You may want to try the SphinxSearch extension (http://www.mediawiki.org/wiki/Extension:SphinxSearch), which seems to have an option for case-sensitive search (see option "charset_table" in sphinx.conf).
Haven't tried any of it though.
Joshua