On Tue, Jan 19, 2010 at 4:25 AM, Javier Bezos <jbezos(a)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