Manual:IndexPager.php

MediaWiki file: IndexPager.php
Location:	includes/pager/
Source code:	master • 1.42.1 • 1.41.2 • 1.39.8
Classes:	IndexPager