MediaWiki
1.39.8
pagers Directory Reference
Directory dependency graph for pagers:
Files
HistoryPager.php
Page
history pager.
includes
actions
pagers
Generated on Thu Jun 27 2024 15:36:53 for MediaWiki by
1.10.0