Update core/lib/pagination.php