/** * destructor - cleans up where necessary */ public function __destruct() { parent::__destruct(); }