search

wikimedia / search-highlighter

Github mirror of "search/highlighter" - our actual code is hosted with Gerrit (please see https://www.mediawiki.org/wiki/Developer_access for contributing
100 stars 36 forks source link

5.3 #30

Closed doublex closed 7 years ago

doublex commented 7 years ago

Thanks!

rpedela commented 7 years ago

Have you tried the new unified highlighter yet in the 5.3 release? I haven't, but it supposedly fixes a lot of problems with the built-in highlighters and solves some of the same problems as this plugin. It may be good enough for your use case.