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.

See also

\Drupal\Core\Database\Query\PagerSelectExtender::element()

1 method overrides PagerManagerInterface::reservePagerElementId()

PagerManager::reservePagerElementId in core/lib/Drupal/Core/Pager/PagerManager.php

Reserve a pager element ID.

File

core/lib/Drupal/Core/Pager/PagerManagerInterface.php, line 186

Class

PagerManagerInterface

This is a service for pager information.

Namespace

Drupal\Core\Pager

Code

public function reservePagerElementId(int $element) : void;

---