php_all_sys::php71

Constant IS_CONSTANT_AST_EX

Source 
pub const IS_CONSTANT_AST_EX: u32 = 5388;