php_all_sys::php72

Constant zend_php_scanner_event_ON_STOP

Source 
pub const zend_php_scanner_event_ON_STOP: zend_php_scanner_event = 2;