protected property PagerManager::$maxPagerElementId in Drupal 9

The highest pager ID created so far.

Type: int

File

core/lib/Drupal/Core/Pager/PagerManager.php, line 40

Class

PagerManager

Provides a manager for pagers.

Namespace

Drupal\Core\Pager

Code

protected $maxPagerElementId = -1;