1173bfbcaSSatoshi Sahara<?php 246b83514SSatoshi Sahara 3173bfbcaSSatoshi Saharanamespace dokuwiki\Search; 4173bfbcaSSatoshi Sahara 5173bfbcaSSatoshi Saharause dokuwiki\Extension\Event; 66734bb8cSAndreas Gohruse dokuwiki\Search\Collection\CollectionSearch; 70b1bbbbbSAndreas Gohruse dokuwiki\Search\Collection\PageFulltextCollection; 80b1bbbbbSAndreas Gohruse dokuwiki\Search\Query\QueryEvaluator; 90b1bbbbbSAndreas Gohruse dokuwiki\Search\Query\QueryParser; 109369b4a9SAndreas Gohruse dokuwiki\Utf8\Asian; 119369b4a9SAndreas Gohruse dokuwiki\Utf8\Clean; 129369b4a9SAndreas Gohruse dokuwiki\Utf8\PhpString; 13173bfbcaSSatoshi Sahara 140cba610bSSatoshi Sahara/** 150b1bbbbbSAndreas Gohr * DokuWiki Fulltext Search 16173bfbcaSSatoshi Sahara * 17173bfbcaSSatoshi Sahara * @license GPL 2 (http://www.gnu.org/licenses/gpl.html) 18173bfbcaSSatoshi Sahara * @author Andreas Gohr <andi@splitbrain.org> 19173bfbcaSSatoshi Sahara */ 20173bfbcaSSatoshi Saharaclass FulltextSearch 21173bfbcaSSatoshi Sahara{ 220b1bbbbbSAndreas Gohr /** @var int Maximum number of results to generate snippets for */ 230b1bbbbbSAndreas Gohr protected int $maxSnippets = 15; 240b1bbbbbSAndreas Gohr 250b1bbbbbSAndreas Gohr /** 260b1bbbbbSAndreas Gohr * @return int 270b1bbbbbSAndreas Gohr */ 280b1bbbbbSAndreas Gohr public function getMaxSnippets(): int 290b1bbbbbSAndreas Gohr { 300b1bbbbbSAndreas Gohr return $this->maxSnippets; 310b1bbbbbSAndreas Gohr } 320b1bbbbbSAndreas Gohr 330b1bbbbbSAndreas Gohr /** 340b1bbbbbSAndreas Gohr * @param int $maxSnippets 350b1bbbbbSAndreas Gohr */ 360b1bbbbbSAndreas Gohr public function setMaxSnippets(int $maxSnippets): void 370b1bbbbbSAndreas Gohr { 380b1bbbbbSAndreas Gohr $this->maxSnippets = $maxSnippets; 390b1bbbbbSAndreas Gohr } 400b1bbbbbSAndreas Gohr 41173bfbcaSSatoshi Sahara /** 42173bfbcaSSatoshi Sahara * The fulltext search 43173bfbcaSSatoshi Sahara * 44173bfbcaSSatoshi Sahara * Returns a list of matching documents for the given query 45173bfbcaSSatoshi Sahara * 460b1bbbbbSAndreas Gohr * @triggers SEARCH_QUERY_FULLPAGE 47173bfbcaSSatoshi Sahara * 480b1bbbbbSAndreas Gohr * @param string $query the search query string 490b1bbbbbSAndreas Gohr * @param array $highlight will be filled with terms to highlight 509369b4a9SAndreas Gohr * @param string|null $sort sort mode: 'hits' (default) or 'mtime' 519369b4a9SAndreas Gohr * @param int|string|null $after only show results with mtime after this date, 520b1bbbbbSAndreas Gohr * accepts timestamp or strtotime arguments 539369b4a9SAndreas Gohr * @param int|string|null $before only show results with mtime before this date, 540b1bbbbbSAndreas Gohr * accepts timestamp or strtotime arguments 55173bfbcaSSatoshi Sahara * 560b1bbbbbSAndreas Gohr * @return array matching documents as pageid => score 57173bfbcaSSatoshi Sahara */ 589369b4a9SAndreas Gohr public function pageSearch( 599369b4a9SAndreas Gohr string $query, 609369b4a9SAndreas Gohr array &$highlight, 619369b4a9SAndreas Gohr ?string $sort = null, 629369b4a9SAndreas Gohr int|string|null $after = null, 639369b4a9SAndreas Gohr int|string|null $before = null 649369b4a9SAndreas Gohr ): array { 65173bfbcaSSatoshi Sahara if ($sort === null) { 66173bfbcaSSatoshi Sahara $sort = 'hits'; 67173bfbcaSSatoshi Sahara } 68173bfbcaSSatoshi Sahara $data = [ 69173bfbcaSSatoshi Sahara 'query' => $query, 70173bfbcaSSatoshi Sahara 'sort' => $sort, 71173bfbcaSSatoshi Sahara 'after' => $after, 72173bfbcaSSatoshi Sahara 'before' => $before 73173bfbcaSSatoshi Sahara ]; 74173bfbcaSSatoshi Sahara $data['highlight'] =& $highlight; 759369b4a9SAndreas Gohr $action = $this->pageSearchCallBack(...); 76173bfbcaSSatoshi Sahara return Event::createAndTrigger('SEARCH_QUERY_FULLPAGE', $data, $action); 77173bfbcaSSatoshi Sahara } 78173bfbcaSSatoshi Sahara 79173bfbcaSSatoshi Sahara /** 80173bfbcaSSatoshi Sahara * Returns a list of matching documents for the given query 81173bfbcaSSatoshi Sahara * 829369b4a9SAndreas Gohr * @param array $data event data 839369b4a9SAndreas Gohr * @return array matching documents as pageid => score 84173bfbcaSSatoshi Sahara * @author Andreas Gohr <andi@splitbrain.org> 85173bfbcaSSatoshi Sahara * @author Kazutaka Miyasaka <kazmiya@gmail.com> 86173bfbcaSSatoshi Sahara * 87173bfbcaSSatoshi Sahara */ 889369b4a9SAndreas Gohr public function pageSearchCallBack(array &$data): array 89173bfbcaSSatoshi Sahara { 90173bfbcaSSatoshi Sahara // parse the given query 919369b4a9SAndreas Gohr $q = (new QueryParser())->convert($data['query']); 92173bfbcaSSatoshi Sahara $data['highlight'] = $q['highlight']; 93173bfbcaSSatoshi Sahara 940b1bbbbbSAndreas Gohr if (empty($q['parsed_ary'])) return []; 95173bfbcaSSatoshi Sahara 966734bb8cSAndreas Gohr // look up all words via CollectionSearch 970b1bbbbbSAndreas Gohr $collection = new PageFulltextCollection(); 986734bb8cSAndreas Gohr $search = new CollectionSearch($collection); 990b1bbbbbSAndreas Gohr foreach ($q['words'] as $word) { 1001148921dSAndreas Gohr if (!Tokenizer::isValidSearchTerm($word)) continue; 1010b1bbbbbSAndreas Gohr $search->addTerm($word); 1020b1bbbbbSAndreas Gohr } 1030b1bbbbbSAndreas Gohr $terms = $search->execute(); 104173bfbcaSSatoshi Sahara 1050b1bbbbbSAndreas Gohr // evaluate the query 1060b1bbbbbSAndreas Gohr $evaluator = new QueryEvaluator($q['parsed_ary'], $terms); 1070b1bbbbbSAndreas Gohr $docs = $evaluator->evaluate(); 108173bfbcaSSatoshi Sahara 1099369b4a9SAndreas Gohr if ($docs === []) return []; 110173bfbcaSSatoshi Sahara 1116734bb8cSAndreas Gohr // filter by visibility, acls, existence, and time range 1126734bb8cSAndreas Gohr $docs = MetadataSearch::filterPages($docs, false, $data['after'], $data['before']); 113173bfbcaSSatoshi Sahara 114173bfbcaSSatoshi Sahara if ($data['sort'] === 'mtime') { 1159369b4a9SAndreas Gohr uksort($docs, static fn($a, $b) => filemtime(wikiFN($b)) - filemtime(wikiFN($a))); 116173bfbcaSSatoshi Sahara } else { 117173bfbcaSSatoshi Sahara arsort($docs); 118173bfbcaSSatoshi Sahara } 119173bfbcaSSatoshi Sahara 120173bfbcaSSatoshi Sahara return $docs; 121173bfbcaSSatoshi Sahara } 122173bfbcaSSatoshi Sahara 123173bfbcaSSatoshi Sahara /** 124173bfbcaSSatoshi Sahara * Creates a snippet extract 125173bfbcaSSatoshi Sahara * 126173bfbcaSSatoshi Sahara * @param string $id page id 127173bfbcaSSatoshi Sahara * @param array $highlight 128173bfbcaSSatoshi Sahara * @return mixed 1299369b4a9SAndreas Gohr * @author Andreas Gohr <andi@splitbrain.org> 1309369b4a9SAndreas Gohr * @triggers FULLTEXT_SNIPPET_CREATE 1319369b4a9SAndreas Gohr * 132173bfbcaSSatoshi Sahara */ 1339369b4a9SAndreas Gohr public function snippet(string $id, array $highlight): mixed 134173bfbcaSSatoshi Sahara { 135173bfbcaSSatoshi Sahara $text = rawWiki($id); 136*8788dbbdSsplitbrain $text = str_replace("\xC2\xAD", '', $text); 137*8788dbbdSsplitbrain // remove soft-hyphens 1389369b4a9SAndreas Gohr $evdata = [ 139173bfbcaSSatoshi Sahara 'id' => $id, 140173bfbcaSSatoshi Sahara 'text' => &$text, 141173bfbcaSSatoshi Sahara 'highlight' => &$highlight, 142173bfbcaSSatoshi Sahara 'snippet' => '', 1439369b4a9SAndreas Gohr ]; 144173bfbcaSSatoshi Sahara 145173bfbcaSSatoshi Sahara $evt = new Event('FULLTEXT_SNIPPET_CREATE', $evdata); 146173bfbcaSSatoshi Sahara if ($evt->advise_before()) { 1479369b4a9SAndreas Gohr $match = []; 1489369b4a9SAndreas Gohr $snippets = []; 1499369b4a9SAndreas Gohr $utf8_offset = 0; 1509369b4a9SAndreas Gohr $offset = 0; 1519369b4a9SAndreas Gohr $end = 0; 1529369b4a9SAndreas Gohr $len = PhpString::strlen($text); 153173bfbcaSSatoshi Sahara 154173bfbcaSSatoshi Sahara // build a regexp from the phrases to highlight 155173bfbcaSSatoshi Sahara $re1 = '(' . 1569369b4a9SAndreas Gohr implode( 157173bfbcaSSatoshi Sahara '|', 158173bfbcaSSatoshi Sahara array_map( 1599369b4a9SAndreas Gohr $this->snippetRePreprocess(...), 160173bfbcaSSatoshi Sahara array_map( 1619369b4a9SAndreas Gohr preg_quote_cb(...), 1629369b4a9SAndreas Gohr array_filter($highlight) 163173bfbcaSSatoshi Sahara ) 164173bfbcaSSatoshi Sahara ) 165173bfbcaSSatoshi Sahara ) . 166173bfbcaSSatoshi Sahara ')'; 1679369b4a9SAndreas Gohr $re2 = "$re1.{0,75}(?!\\\\1)$re1"; 1689369b4a9SAndreas Gohr $re3 = "$re1.{0,45}(?!\\\\1)$re1.{0,45}(?!\\\\1)(?!\\\\2)$re1"; 169173bfbcaSSatoshi Sahara 170173bfbcaSSatoshi Sahara for ($cnt = 4; $cnt--;) { 171173bfbcaSSatoshi Sahara if (0) { 172173bfbcaSSatoshi Sahara } elseif (preg_match('/' . $re3 . '/iu', $text, $match, PREG_OFFSET_CAPTURE, $offset)) { 173173bfbcaSSatoshi Sahara } elseif (preg_match('/' . $re2 . '/iu', $text, $match, PREG_OFFSET_CAPTURE, $offset)) { 174173bfbcaSSatoshi Sahara } elseif (preg_match('/' . $re1 . '/iu', $text, $match, PREG_OFFSET_CAPTURE, $offset)) { 175173bfbcaSSatoshi Sahara } else { 176173bfbcaSSatoshi Sahara break; 177173bfbcaSSatoshi Sahara } 178173bfbcaSSatoshi Sahara 1799369b4a9SAndreas Gohr [$str, $idx] = $match[0]; 180173bfbcaSSatoshi Sahara 181173bfbcaSSatoshi Sahara // convert $idx (a byte offset) into a utf8 character offset 1829369b4a9SAndreas Gohr $utf8_idx = PhpString::strlen(substr($text, 0, $idx)); 1839369b4a9SAndreas Gohr $utf8_len = PhpString::strlen($str); 184173bfbcaSSatoshi Sahara 185173bfbcaSSatoshi Sahara // establish context, 100 bytes surrounding the match string 186173bfbcaSSatoshi Sahara // first look to see if we can go 100 either side, 187173bfbcaSSatoshi Sahara // then drop to 50 adding any excess if the other side can't go to 50, 188173bfbcaSSatoshi Sahara $pre = min($utf8_idx - $utf8_offset, 100); 189173bfbcaSSatoshi Sahara $post = min($len - $utf8_idx - $utf8_len, 100); 190173bfbcaSSatoshi Sahara 191173bfbcaSSatoshi Sahara if ($pre > 50 && $post > 50) { 1929369b4a9SAndreas Gohr $pre = 50; 1939369b4a9SAndreas Gohr $post = 50; 194173bfbcaSSatoshi Sahara } elseif ($pre > 50) { 195173bfbcaSSatoshi Sahara $pre = min($pre, 100 - $post); 196173bfbcaSSatoshi Sahara } elseif ($post > 50) { 197173bfbcaSSatoshi Sahara $post = min($post, 100 - $pre); 198173bfbcaSSatoshi Sahara } elseif ($offset == 0) { 199173bfbcaSSatoshi Sahara // both are less than 50, means the context is the whole string 200173bfbcaSSatoshi Sahara // make it so and break out of this loop - there is no need for the 201173bfbcaSSatoshi Sahara // complex snippet calculations 2029369b4a9SAndreas Gohr $snippets = [$text]; 203173bfbcaSSatoshi Sahara break; 204173bfbcaSSatoshi Sahara } 205173bfbcaSSatoshi Sahara 206173bfbcaSSatoshi Sahara // establish context start and end points, try to append to previous 207173bfbcaSSatoshi Sahara // context if possible 208173bfbcaSSatoshi Sahara $start = $utf8_idx - $pre; 209173bfbcaSSatoshi Sahara $append = ($start < $end) ? $end : false; // still the end of the previous context snippet 210173bfbcaSSatoshi Sahara $end = $utf8_idx + $utf8_len + $post; // now set it to the end of this context 211173bfbcaSSatoshi Sahara 212173bfbcaSSatoshi Sahara if ($append) { 2139369b4a9SAndreas Gohr $snippets[count($snippets) - 1] .= PhpString::substr($text, $append, $end - $append); 214173bfbcaSSatoshi Sahara } else { 2159369b4a9SAndreas Gohr $snippets[] = PhpString::substr($text, $start, $end - $start); 216173bfbcaSSatoshi Sahara } 217173bfbcaSSatoshi Sahara 218173bfbcaSSatoshi Sahara // set $offset for next match attempt 219173bfbcaSSatoshi Sahara // continue matching after the current match 220173bfbcaSSatoshi Sahara // if the current match is not the longest possible match starting at the current offset 221173bfbcaSSatoshi Sahara // this prevents further matching of this snippet but for possible matches of length 222173bfbcaSSatoshi Sahara // smaller than match length + context (at least 50 characters) this match is part of the context 223173bfbcaSSatoshi Sahara $utf8_offset = $utf8_idx + $utf8_len; 2249369b4a9SAndreas Gohr $offset = $idx + strlen(PhpString::substr($text, $utf8_idx, $utf8_len)); 2259369b4a9SAndreas Gohr $offset = Clean::correctIdx($text, $offset); 226173bfbcaSSatoshi Sahara } 227173bfbcaSSatoshi Sahara 228173bfbcaSSatoshi Sahara $m = "\1"; 229173bfbcaSSatoshi Sahara $snippets = preg_replace('/' . $re1 . '/iu', $m . '$1' . $m, $snippets); 230173bfbcaSSatoshi Sahara $snippet = preg_replace( 231173bfbcaSSatoshi Sahara '/' . $m . '([^' . $m . ']*?)' . $m . '/iu', 232173bfbcaSSatoshi Sahara '<strong class="search_hit">$1</strong>', 2339369b4a9SAndreas Gohr hsc(implode('... ', $snippets)) 234173bfbcaSSatoshi Sahara ); 235173bfbcaSSatoshi Sahara 236173bfbcaSSatoshi Sahara $evdata['snippet'] = $snippet; 237173bfbcaSSatoshi Sahara } 238173bfbcaSSatoshi Sahara $evt->advise_after(); 239173bfbcaSSatoshi Sahara unset($evt); 240173bfbcaSSatoshi Sahara 241173bfbcaSSatoshi Sahara return $evdata['snippet']; 242173bfbcaSSatoshi Sahara } 243173bfbcaSSatoshi Sahara 244173bfbcaSSatoshi Sahara /** 245173bfbcaSSatoshi Sahara * Wraps a search term in regex boundary checks. 246173bfbcaSSatoshi Sahara * 247173bfbcaSSatoshi Sahara * @param string $term 248173bfbcaSSatoshi Sahara * @return string 249173bfbcaSSatoshi Sahara */ 2509369b4a9SAndreas Gohr public function snippetRePreprocess(string $term): string 251173bfbcaSSatoshi Sahara { 252173bfbcaSSatoshi Sahara // do not process asian terms where word boundaries are not explicit 2539369b4a9SAndreas Gohr if (Asian::isAsianWords($term)) return $term; 254173bfbcaSSatoshi Sahara 255173bfbcaSSatoshi Sahara if (UTF8_PROPERTYSUPPORT) { 256173bfbcaSSatoshi Sahara // unicode word boundaries 257173bfbcaSSatoshi Sahara // see http://stackoverflow.com/a/2449017/172068 258173bfbcaSSatoshi Sahara $BL = '(?<!\pL)'; 259173bfbcaSSatoshi Sahara $BR = '(?!\pL)'; 260173bfbcaSSatoshi Sahara } else { 261173bfbcaSSatoshi Sahara // not as correct as above, but at least won't break 262173bfbcaSSatoshi Sahara $BL = '\b'; 263173bfbcaSSatoshi Sahara $BR = '\b'; 264173bfbcaSSatoshi Sahara } 265173bfbcaSSatoshi Sahara 2669369b4a9SAndreas Gohr if (str_starts_with($term, '\\*')) { 267173bfbcaSSatoshi Sahara $term = substr($term, 2); 268173bfbcaSSatoshi Sahara } else { 269173bfbcaSSatoshi Sahara $term = $BL . $term; 270173bfbcaSSatoshi Sahara } 271173bfbcaSSatoshi Sahara 2729369b4a9SAndreas Gohr if (str_ends_with($term, '\\*')) { 273173bfbcaSSatoshi Sahara $term = substr($term, 0, -2); 274173bfbcaSSatoshi Sahara } else { 2759369b4a9SAndreas Gohr $term .= $BR; 276173bfbcaSSatoshi Sahara } 277173bfbcaSSatoshi Sahara 278*8788dbbdSsplitbrain if (in_array($term, [$BL, $BR, $BL . $BR], true)) { 279173bfbcaSSatoshi Sahara $term = ''; 280173bfbcaSSatoshi Sahara } 281173bfbcaSSatoshi Sahara return $term; 282173bfbcaSSatoshi Sahara } 283173bfbcaSSatoshi Sahara} 284