MediaWiki
REL1_34
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.
includes
search
ResultSetAugmentor.php
Generated on Fri Apr 5 2024 23:10:29 for MediaWiki by
1.9.8