MediaWiki master
SerialProvider.php
Go to the documentation of this file.
1<?php
2
4
10interface SerialProvider {
17 public function acquireIndex( int $year = 0 ): int;
18}
Interface for serial providers for temporary users.
acquireIndex(int $year=0)
Acquire an integer such that it is unlikely to be used again, and return it.