php_all_sys::php72

Constant IS_CONSTANT_EX

Source 
pub const IS_CONSTANT_EX: u32 = 5387;