@platonides
Thank you! However, the hook does not seem to work. Search engine still does not find
'ex<middot>ample'.
Bernhard
PS. For the time being I have replaced Wiki-Search by Google Site Search which ignores
special characters like 'middot', 'shy', etc. and also finds
'examples' if you search 'example'... Extensions like Lucene-search or
MWsearch may be costomed to do the same, but for non-specialists like me Google is
definitively the easiest way, even if that means hacking the original PHP code of my Wiki.
Btw, it seems high time to further develop the standard Wiki search.
*****************************
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)