ILIAS  trunk Revision v13.0_alpha-62-g3b72d83f2e5
Seed.php
Go to the documentation of this file.
1<?php
2
19declare(strict_types=1);
20
22
23interface Seed
24{
29 public function seedRandomGenerator(): void;
30}
seedRandomGenerator()
Seeds a random number generator.