MediaWiki
master
pagers Directory Reference
Directory dependency graph for pagers:
Files
HistoryPager.php
Page
history pager.
includes
actions
pagers
Generated on Tue Nov 28 2023 23:11:39 for MediaWiki by
1.9.8