Generator enabled standard PHP library