MediaWiki  master
pagers Directory Reference

Files

file  HistoryPager.php [code]
 Page history pager.