php_all_sys::php72

Constant ZEND_ACC_CTOR

Source 
pub const ZEND_ACC_CTOR: u32 = 8192;