✏️ Editing: Paginator.php