Editing: PaginationServiceProvider.php