and the method can be simplified:

```php
return !empty($this->pagination) && isset($this->pagination[$key]);
```