Pager.php

Go to the documentation of this file.

<?php
interface Pager {
    function getNavigationBar();
    function getBody();
}