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
46
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 Thu Sep 21 2023 20:09:11 for MediaWiki by
1.9.1