ResultAugmentor.php

Go to the documentation of this file.

<?php
 
interface ResultAugmentor {
    public function augment( SearchResult $result );
}