php_all_sys::php72

Constant ZEND_FE_RESET_RW

Source 
pub const ZEND_FE_RESET_RW: u32 = 125;