Manual:TablePager.php