MediaWiki
REL1_33
Pager.php
Go to the documentation of this file.
1
<?php
32
interface
Pager
{
33
function
getNavigationBar
();
34
function
getBody
();
35
}
Pager
Basic pager interface.
Definition
Pager.php:32
Pager\getBody
getBody()
Pager\getNavigationBar
getNavigationBar()
includes
pager
Pager.php
Generated on Mon Nov 25 2024 15:49:47 for MediaWiki by
1.10.0