MediaWiki master
SerialMapping.php
Go to the documentation of this file.
1<?php
2
4
10interface SerialMapping {
16 public function getSerialIdForIndex( int $index ): string;
17}
Interface for integer to string mappings for temporary user autocreation.