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