src/Util/IdGenerator.php
public static function releaseId($generatedId)
    {
        $index = array_search($generatedId, static::$generatedIds, true);
        if ($index !== false) {
            unset(static::$generatedIds[$index]);
        }
    }
public static function releaseId($generatedId)
    {
        $index = array_search($generatedId, static::$generatedIds, true);
        if ($index !== false) {
            unset(static::$generatedIds[$index]);
        }
    }
public static function releaseId ( $ generatedId ) { $ index = array_search ( $ generatedId , static :: $ generatedIds , true ) ; if ( $ index !== false ) { unset ( static :: $ generatedIds [ $ index ] ) ; } }
Removes a previous generated id from currently used ids.

@param int $generatedId
Removes a previous generated id from currently used ids .