MediaWiki  master
SearchResultWidget.php
Go to the documentation of this file.
1 <?php
2 
4 
5 use SearchResult;
6 
10 interface SearchResultWidget {
16  public function render( SearchResult $result, $position );
17 }
render(SearchResult $result, $position)
Renders a single search result to HTML.