Same name in other branches

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

See also

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

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;

---