php_all_sys::php80

Constant ZEND_PROPERTY_ISSET

Source 
pub const ZEND_PROPERTY_ISSET: u32 = 0;