MediaWiki  1.33.0
pagers Directory Reference

Files

file  HistoryPager.php [code]
 Page history pager.