MediaWiki  master
SearchEngineDummy.php
Go to the documentation of this file.
1 <?php
31  // no-op
32 }
SearchEngine
Contain a class for special pages.
Definition: SearchEngine.php:37
SearchEngineDummy
Dummy class to be used when non-supported Database engine is present.
Definition: SearchEngineDummy.php:30