SearchEngineDummy.php

Go to the documentation of this file.

<?php
namespace MediaWiki\Search;
 
class SearchEngineDummy extends SearchEngine {
    // no-op
}
 
class_alias( SearchEngineDummy::class, 'SearchEngineDummy' );