MediaWiki  master
PaginatingSearchEngine.php
Go to the documentation of this file.
1 <?php
2 
12 }
Marker class for search engines that can handle their own pagination, by reporting in their ISearchRe...