MediaWiki  master
Pager.php
Go to the documentation of this file.
1 <?php
34 interface Pager {
35  public function getNavigationBar();
36 
37  public function getBody();
38 }
Basic pager interface for efficient paging through SQL queries.
Definition: Pager.php:34
getBody()
getNavigationBar()