Commit Graph
2 Commits
Author SHA1 Message Date
Adam Turner 61d7b0b47c Replace jssplitter with JavaScript 2022-03-19 23:16:27 +00:00
Daniel Hofmann 3e479d772b Closes #8123: Fix plus-handling (+) in search terms for basic html theme search
Note, that the default splitter will not index +, so this isn't of much of much use, unless
the splitter of the search-language is reconfigured.
2020-08-19 18:01:27 +02:00