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