php_all_sys::php80

Constant ZEND_ACC_PROMOTED

Source 
pub const ZEND_ACC_PROMOTED: u32 = 32;