Same name and namespace in other branches

1. 9 core/lib/Drupal/Core/Pager/PagerManager.php \Drupal\Core\Pager\PagerManager::reservePagerElementId()
2. 11.x core/lib/Drupal/Core/Pager/PagerManager.php \Drupal\Core\Pager\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\Pager

Code

public function reservePagerElementId(int $element) : void {
  $this->maxPagerElementId = max($element, $this->maxPagerElementId);
}

---