MediaWiki  master
SerialProvider.php
Go to the documentation of this file.
1 <?php
2 
3 namespace MediaWiki\User\TempUser;
4 
10 interface SerialProvider {
15  public function acquireIndex(): int;
16 }
MediaWiki\User\TempUser\SerialProvider
Interface for serial providers for temporary users.
Definition: SerialProvider.php:10
MediaWiki\User\TempUser\SerialProvider\acquireIndex
acquireIndex()
Acquire an integer such that it is unlikely to be used again, and return it.