MediaWiki  master
ResultAugmentor.php
Go to the documentation of this file.
1 <?php
2 
6 interface ResultAugmentor {
12  public function augment( SearchResult $result );
13 }
augment(SearchResult $result)
Produce data to augment search result set.
Augment search results.