MediaWiki  1.34.0
ResultAugmentor.php
Go to the documentation of this file.
1 <?php
2 
6 interface ResultAugmentor {
12  public function augment( SearchResult $result );
13 }
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:6