Constant php_all_sys::php71::IS_RESOURCE_EX[−][src]

pub const IS_RESOURCE_EX: u32 = 1033;