Function splitQuery

docs/_static/searchtools.js:188–191

(query)

 */
if (typeof splitQuery === "undefined") {
  var splitQuery = (query) =>
    query
      .split(/[^\p{Letter}\p{Number}_\p{Emoji_Presentation}]+/gu)
      .filter((term) => term); // remove remaining empty strings
}

/**