Constant PHP_INI_SYSTEM 

pub const PHP_INI_SYSTEM: u32 = 4;