php_all_sys::php72

Constant ZEND_RETURN

Source 
pub const ZEND_RETURN: u32 = 62;