Manual:SearchEngine.php/de-formal

Details
SearchEngine.php file contains several classes related to searching a wiki. The SearchEngine class is the parent class for specific search implementations.