MediaWiki
master
pagers Directory Reference
Directory dependency graph for pagers:
Files
HistoryPager.php
Page history pager.
includes
actions
pagers
Generated on Wed Apr 23 2025 11:29:59 for MediaWiki by
1.10.0