MediaWiki master
ResultAugmentor.php
Go to the documentation of this file.
1<?php
2
7interface 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.