php_all_sys::php72

Constant ZEND_SYMBOL_CONST

Source 
pub const ZEND_SYMBOL_CONST: u32 = 4;