MediaWiki  master
ResultAugmentor.php
Go to the documentation of this file.
1 <?php
2 
7 interface ResultAugmentor {
13  public function augment( SearchResult $result );
14 }
NOTE: this class is being refactored into an abstract base class.
Augment search results.
augment(SearchResult $result)
Produce data to augment search result set.