MediaWiki
master
ResultAugmentor.php
Go to the documentation of this file.
1
<?php
2
7
interface
ResultAugmentor
{
13
public
function
augment
(
SearchResult
$result );
14
}
ResultAugmentor\augment
augment(SearchResult $result)
Produce data to augment search result set.
SearchResult
NOTE: this class is being refactored into an abstract base class.
Definition:
SearchResult.php:38
ResultAugmentor
Augment search results.
Definition:
ResultAugmentor.php:7
includes
search
ResultAugmentor.php
Generated on Thu Jan 28 2021 11:09:43 for MediaWiki by
1.8.19