MediaWiki
REL1_31
ResultAugmentor.php
Go to the documentation of this file.
1
<?php
2
6
interface
ResultAugmentor
{
12
public
function
augment
(
SearchResult
$result );
13
}
SearchResult
Definition
SearchResult.php:32
ResultAugmentor
Augment search results.
Definition
ResultAugmentor.php:6
ResultAugmentor\augment
augment(SearchResult $result)
Produce data to augment search result set.
includes
search
ResultAugmentor.php
Generated on Mon Nov 25 2024 15:35:18 for MediaWiki by
1.10.0