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