MediaWiki  master
Pager.php
Go to the documentation of this file.
1 <?php
32 interface Pager {
33  public function getNavigationBar();
34 
35  public function getBody();
36 }
Basic pager interface.
Definition: Pager.php:32
getNavigationBar()
getBody()