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