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