php_all_sys::php71

Constant PHP_STREAM_AS_STDIO

Source 
pub const PHP_STREAM_AS_STDIO: u32 = 0;