MediaWiki
1.33.0
|
Go to the source code of this file.
Classes | |
interface | PaginatingSearchEngine |
Marker class for search engines that can handle their own pagination, by reporting in their SearchResultSet when a next page is available. More... | |