php_all_sys::php72

Constant ZEND_ASSIGN_ADD

Source 
pub const ZEND_ASSIGN_ADD: u32 = 23;