PHP_STREAM_FREE_RSRC_DTOR

Constant PHP_STREAM_FREE_RSRC_DTOR 

Source
pub const PHP_STREAM_FREE_RSRC_DTOR: u32 = 8;