UPDATE civicrm_domain SET version = '{$db_version}';