MediaWiki master
Pager Directory Reference
Directory dependency graph for Pager:
includes/Actions/Pager

Files

 HistoryPager.php
 Page history pager.