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