MediaWiki
1.41.2
PaginatingSearchEngine.php
Go to the documentation of this file.
1
<?php
2
13
interface
PaginatingSearchEngine
{
14
}
PaginatingSearchEngine
Marker class for search engines that can handle their own pagination, by reporting in their ISearchRe...
Definition
PaginatingSearchEngine.php:13
includes
search
PaginatingSearchEngine.php
Generated on Thu Jun 27 2024 15:43:11 for MediaWiki by
1.10.0