✏️ Editing: Php7RandomGenerator.php