MediaWiki  master
SearchResultSetWidget.php
Go to the documentation of this file.
1 <?php
2 
4 
6 
17  public function render( $term, $resultSets );
18 }
A set of SearchEngine results.