MediaWiki
master
pagers Directory Reference
Files
file
HistoryPager.php
[code]
Page
history pager.
includes
actions
pagers
Generated on Fri Jun 2 2023 02:10:45 for MediaWiki by
1.9.1