Scheid, Bernhard wrote:
Wow, thank you very much! I'll also go and read me through. As far as I see, the basic feature I need is a kind of parsing before the text is searched, whereby all middots in the text-to-search are eliminated. The other method would be to multiply the term-to-find with middots at every possibly place as you indicated. No idea how to achieve either way nor which one would be "less expensive", but the first way sounds easier...
Bernhard
That's easy to do. Smply add to LocalSettings:
$wgHooks['SearchUpdate'] = 'RemoveMiddotsInSearch'; function RemoveMiddotsInSearch( $id, $namespace, $title, &$text ) { $text = str_replace( 'middot' , '', $text ); return true; }
(replacing middot with the real middot character)