MediaWiki
master
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 Tue Mar 21 2023 19:10:19 for MediaWiki by
1.9.1