wikimedia/mediawiki-extensions-CirrusSearch

<?php

namespace CirrusSearch\Search;

interface SearchMetricsProvider {
    public function getMetrics();
}