ResultSetAugmentor.php

Go to the documentation of this file.

<?php
 
namespace MediaWiki\Search;
 
interface ResultSetAugmentor {
    public function augmentAll( ISearchResultSet $resultSet );
}
 
class_alias( ResultSetAugmentor::class, 'ResultSetAugmentor' );