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

pub const IS_OBJ_DESTRUCTOR_CALLED: u32 = 8;