MediaWiki
REL1_33
ResultSetAugmentor.php
Go to the documentation of this file.
1
<?php
2
6
interface
ResultSetAugmentor
{
12
public
function
augmentAll
(
SearchResultSet
$resultSet );
13
}
SearchResultSet
Definition
SearchResultSet.php:27
ResultSetAugmentor
Augment search results.
Definition
ResultSetAugmentor.php:6
ResultSetAugmentor\augmentAll
augmentAll(SearchResultSet $resultSet)
Produce data to augment search result set.
includes
search
ResultSetAugmentor.php
Generated on Mon Nov 25 2024 15:49:55 for MediaWiki by
1.10.0