includes/pager/Pager.php

   1 <?php
   2 /**
   3  * This program is free software; you can redistribute it and/or modify
   4  * it under the terms of the GNU General Public License as published by
   5  * the Free Software Foundation; either version 2 of the License, or
   6  * (at your option) any later version.
   7  *
   8  * This program is distributed in the hope that it will be useful,
   9  * but WITHOUT ANY WARRANTY; without even the implied warranty of
  10  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
  11  * GNU General Public License for more details.
  12  *
  13  * You should have received a copy of the GNU General Public License along
  14  * with this program; if not, write to the Free Software Foundation, Inc.,
  15  * 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA.
  16  * http://www.gnu.org/copyleft/gpl.html
  17  *
  18  * @file
  19  */
  20
  21 /**
  22  * @defgroup Pager Pager
  23  */
  24
  25 namespace MediaWiki\Pager;
  26
  27 /**
  28  * Basic pager interface for efficient paging through SQL queries.
  29  *
  30  * Must not be implemented directly by extensions,
  31  * instead extend IndexPager or one of its subclasses.
  32  *
  33  * @stable to type
  34  * @ingroup Pager
  35  */
  36 interface Pager {
  37         public function getNavigationBar();
  38
  39         public function getBody();
  40 }
  41
  42 /** @deprecated class alias since 1.41 */
  43 class_alias( Pager::class, 'Pager' );