Constant php_all_sys::php72::PHP_INI_DISPLAY_ORIG[][src]

pub const PHP_INI_DISPLAY_ORIG: u32 = 1;