php_all_sys::php73

Constant ZEND_EXTENSIONS_HAVE_OP_ARRAY_DTOR

Source 
pub const ZEND_EXTENSIONS_HAVE_OP_ARRAY_DTOR: u32 = 2;