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