MediaWiki
1.34.4
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()
includes
pager
Pager.php
Generated on Thu Sep 24 2020 22:30:00 for MediaWiki by
1.8.18