On my client side, pagination is not rendered in AJAX, but I see some elseif ($pjax) and similar things in class.pagenate.php.Is there a way to turn it on?Rationale:I am using ticket sharing accross client organization, so I need a way to toggle MyTickets / MyBranchTickets on the client side. I did it with JavaScript, but it just shows/hides the rows with others' tickets. As a result, it can happen that there is only one ticket per page, because all others are not mine.With AJAX pagination, it should be possible to integrate filtering and pagination properly.