MediaWiki  master
ResultSetAugmentor.php
Go to the documentation of this file.
1 <?php
2 
7 interface ResultSetAugmentor {
13  public function augmentAll( ISearchResultSet $resultSet );
14 }
ISearchResultSet
A set of SearchEngine results.
Definition: ISearchResultSet.php:12
ResultSetAugmentor
Augment search results.
Definition: ResultSetAugmentor.php:7
ResultSetAugmentor\augmentAll
augmentAll(ISearchResultSet $resultSet)
Produce data to augment search result set.