php_all_sys::php73

Constant ZEND_GET_CONSTANT_NO_DEPRECATION_CHECK

Source 
pub const ZEND_GET_CONSTANT_NO_DEPRECATION_CHECK: u32 = 4096;