/** * This destructor ensures that any resources are properly disposed. * * @access public */ public function __destruct() { parent::__destruct(); unset($this->encoding); unset($this->margin); unset($this->size); }
/** * This destructor ensures that any resources are properly disposed. * * @access public */ public function __destruct() { parent::__destruct(); unset($this->charset); }