MediaWiki
master
Pager.php
Go to the documentation of this file.
1
<?php
34
interface
Pager
{
35
public
function
getNavigationBar
();
36
37
public
function
getBody
();
38
}
Pager
Basic pager interface for efficient paging through SQL queries.
Definition:
Pager.php:34
Pager\getBody
getBody()
Pager\getNavigationBar
getNavigationBar()
includes
pager
Pager.php
Generated on Tue Mar 21 2023 08:16:21 for MediaWiki by
1.9.1