Constant PHP_STREAM_IS_URL 

pub const PHP_STREAM_IS_URL: u32 = 1;