3 namespace MediaWiki\Widget\Search
;
8 * Renders a single search result to HTML
10 interface SearchResultWidget
{
12 * @param SearchResult $result The result to render
13 * @param string $terms Terms to be highlighted (@see SearchResult::getTextSnippet)
14 * @param int $position The zero indexed result position, including offset
17 public function render( SearchResult
$result, $terms, $position );