MediaWiki master
pagers Directory Reference
Directory dependency graph for pagers:
includes/actions/pagers

Files

 HistoryPager.php
 Page history pager.