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