php_all_sys::php80

Constant ZEND_EXTRA_VALUE

Source 
pub const ZEND_EXTRA_VALUE: u32 = 1;