MediaWiki
1.34.0
pagers Directory Reference
Files
file
HistoryPager.php
[code]
Page
history pager.
includes
actions
pagers
Generated on Thu Dec 19 2019 14:56:05 for MediaWiki by
1.8.16