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)
_______________________________________________
MediaWiki-l mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-l
