public function drop_tables() { doctrine_destroy_database(); }
function doctrine_uninstall() { doctrine_destroy_database(); doctrine_destroy_models(); }