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