Fix query splitting in searchtools.js
; update jssplitter
#10247
Merged
searchtools.js
; update jssplitter
#10247