Update PaginationInterface.php