php_all_sys::php72

Constant PHP_OUTPUT_POP_DISCARD

Source 
pub const PHP_OUTPUT_POP_DISCARD: u32 = 16;