function PagerManager::reservePagerElementId
Reserve a pager element ID.
Calling code may need to reserve the ID of a pager before actually creating it. This methods allows to do so ensuring no collision occurs with ::getMaxPagerElementId().
Parameters
int $element: The ID of the pager to be reserved.
Overrides PagerManagerInterface::reservePagerElementId
File
-
core/
lib/ Drupal/ Core/ Pager/ PagerManager.php, line 109
Class
- PagerManager
- Provides a manager for pagers.
Namespace
Drupal\Core\PagerCode
public function reservePagerElementId(int $element) : void {
$this->maxPagerElementId = max($element, $this->maxPagerElementId);
}
Buggy or inaccurate documentation? Please file an issue. Need support? Need help programming? Connect with the Drupal community.