MediaWiki
REL1_35
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.
includes
search
ResultSetAugmentor.php
Generated on Sat Apr 6 2024 00:07:47 for MediaWiki by
1.9.8