Constant PHP_STREAM_RELEASED

Source
pub const PHP_STREAM_RELEASED: u32 = 1;