function PagerManager::reservePagerElementId

Same name and namespace in other branches
  1. 9 core/lib/Drupal/Core/Pager/PagerManager.php \Drupal\Core\Pager\PagerManager::reservePagerElementId()
  2. 10 core/lib/Drupal/Core/Pager/PagerManager.php \Drupal\Core\Pager\PagerManager::reservePagerElementId()

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);
}

Buggy or inaccurate documentation? Please file an issue. Need support? Need help programming? Connect with the Drupal community.