Pager.php

Go to the documentation of this file.

<?php
namespace MediaWiki\Pager;
 
use MediaWiki\Navigation\PagerNavigationBuilder;
 
interface Pager {
    public function getNavigationBar();
 
    public function getBody();
}
 
class_alias( Pager::class, 'Pager' );