MediaWiki  1.34.4
pagers Directory Reference

Files

file  HistoryPager.php [code]
 Page history pager.