MediaWiki master
Pager.php
Go to the documentation of this file.
1<?php
25namespace MediaWiki\Pager;
26
36interface Pager {
37 public function getNavigationBar();
38
39 public function getBody();
40}
41
43class_alias( Pager::class, 'Pager' );
Basic pager interface for efficient paging through SQL queries.
Definition Pager.php:36