Constant php_all_sys::php54::ZEND_USER_OPCODE_LEAVE[−][src]

pub const ZEND_USER_OPCODE_LEAVE: u32 = 4;