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