MediaWiki 1.39.10
SerialProvider.php
Go to the documentation of this file.
1<?php
2
3namespace MediaWiki\User\TempUser;
4
10interface 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.