ResultAugmentor.php

Go to the documentation of this file.

<?php

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