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