Constant PHP_INI_DISPLAY_ORIG 

pub const PHP_INI_DISPLAY_ORIG: u32 = 1;