Constant PHP_STREAM_NOTIFY_MIME_TYPE_IS 

pub const PHP_STREAM_NOTIFY_MIME_TYPE_IS: u32 = 4;