MediaWiki REL1_33
ResultSetAugmentor.php
Go to the documentation of this file.
1<?php
2
12 public function augmentAll( SearchResultSet $resultSet );
13}
Augment search results.
augmentAll(SearchResultSet $resultSet)
Produce data to augment search result set.