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

Files

 HistoryPager.php
 Page history pager.