Constant php_all_sys::php72::ZEND_GOTO[−][src]

pub const ZEND_GOTO: u32 = 253;