Searched refs:resultHeader (Results 1 – 1 of 1) sorted by relevance
558 $resultHeader = [$resultLink];563 $resultHeader[] = $restrictQueryToNSLink;583 'resultHeader' => $resultHeader,590 $html .= '<dt>' . implode(' ', $eventData['resultHeader']) . '</dt>';