Searched refs:resultLink (Results 1 – 1 of 1) sorted by path
556 $resultLink = html_wikilink(':' . $id, null, $highlight);558 $resultHeader = [$resultLink];