Editing: RandomGeneratorInterface.php