MediaWiki  master
Pager.php
Go to the documentation of this file.
1 <?php
25 namespace MediaWiki\Pager;
26 
36 interface Pager {
37  public function getNavigationBar();
38 
39  public function getBody();
40 }
41 
46 class_alias( Pager::class, 'Pager' );
Basic pager interface for efficient paging through SQL queries.
Definition: Pager.php:36