php_all_sys::php71

Constant ZEND_VM_EXT_MASK

Source 
pub const ZEND_VM_EXT_MASK: u32 = 251658240;