php_all_sys::php54

Constant ZEND_ACC_DTOR

Source 
pub const ZEND_ACC_DTOR: u32 = 16384;