MediaWiki
1.40.4
Classes
PagerTools.php File Reference
Go to the source code of this file.
Classes
class
PagerTools
Generate a set of tools for a revision.
More...
includes
specials
pagers
PagerTools.php
Generated on Thu Jun 27 2024 15:53:11 for MediaWiki by
1.10.0