MediaWiki
1.42.0
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
namespace
MediaWiki\Pager
includes
specials
pagers
PagerTools.php
Generated on Thu Jun 13 2024 13:51:02 for MediaWiki by
1.10.0