MediaWiki
master
Classes
|
Namespaces
PagerTools.php File Reference
Go to the source code of this file.
Classes
class
MediaWiki\Pager\PagerTools
Generate a set of tools for a revision.
More...
Namespaces
MediaWiki\Pager
includes
specials
pagers
PagerTools.php
Generated on Tue Sep 26 2023 11:10:34 for MediaWiki by
1.9.1