public function __destruct() { // intentionally left blank }
/** * Distruttore */ function __destruct() { parent::__destruct(); }