MediaWiki  1.33.0
PaginatingSearchEngine.php File Reference

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...