Manual:HistoryPager.php

MediaWiki file: HistoryPager.php
Location:	includes/actions/pagers/ (includes/Actions/Pager/ in 1.46 or later)
Source code:	master • 1.45.3 • 1.44.5 • 1.43.8
Classes:	HistoryPager