ResultAugmentor.php

Go to the documentation of this file.

<?php
 
namespace MediaWiki\Search;
 
interface ResultAugmentor {
    public function augment( SearchResult $result );
}
 
class_alias( ResultAugmentor::class, 'ResultAugmentor' );