pub const PHP_INI_DISPLAY_ORIG: u32 = 1;