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