MediaWiki
master
Pager.php
Go to the documentation of this file.
1
<?php
25
namespace
MediaWiki\Pager
;
26
36
interface
Pager
{
37
public
function
getNavigationBar
();
38
39
public
function
getBody
();
40
}
41
43
class_alias( Pager::class,
'Pager'
);
MediaWiki\Pager\Pager
Basic pager interface for efficient paging through SQL queries.
Definition
Pager.php:36
MediaWiki\Pager\Pager\getBody
getBody()
MediaWiki\Pager\Pager\getNavigationBar
getNavigationBar()
MediaWiki\Pager
Definition
HistoryPager.php:24
includes
pager
Pager.php
Generated on Sat Dec 21 2024 11:24:59 for MediaWiki by
1.10.0