pagers Directory Reference

Files
file	HistoryPager.php [code]
	Page history pager.