Rename variable

I updated the user-facing name for this setting, but forgot about the internal variable

Author: shati-patel

extensions/ql-vscode/src/config.ts

@@ -641,17 +641,17 @@ export function isCodespacesTemplate() {
   return !!CODESPACES_TEMPLATE.getValue<boolean>();
 }
 
-const DATABASE_DOWNLOAD_SETTING = new Setting("addingDatabases", ROOT_SETTING);
+const ADDING_DATABASES_SETTING = new Setting("addingDatabases", ROOT_SETTING);
 
-const ALLOW_HTTP_SETTING = new Setting("allowHttp", DATABASE_DOWNLOAD_SETTING);
+const ALLOW_HTTP_SETTING = new Setting("allowHttp", ADDING_DATABASES_SETTING);
 
 export function allowHttp(): boolean {
   return ALLOW_HTTP_SETTING.getValue<boolean>() || false;
 }
 
 const ADD_DATABASE_SOURCE_TO_WORKSPACE_SETTING = new Setting(
   "addDatabaseSourceToWorkspace",
-  DATABASE_DOWNLOAD_SETTING,
+  ADDING_DATABASES_SETTING,
 );
 
 export function addDatabaseSourceToWorkspace(): boolean {