Move DatabaseOptions to separate file

Author: koesie10

extensions/ql-vscode/src/databases/local-databases.ts

@@ -35,6 +35,10 @@ import { QlPackGenerator } from "../qlpack-generator";
 import { QueryLanguage } from "../common/query-language";
 import { App } from "../common/app";
 import { existsSync } from "fs";
+import {
+  DatabaseOptions,
+  FullDatabaseOptions,
+} from "./local-databases/database-options";
 
 /**
  * databases.ts
@@ -58,19 +62,6 @@ const CURRENT_DB = "currentDatabase";
  */
 const DB_LIST = "databaseList";
 
-export interface DatabaseOptions {
-  displayName?: string;
-  ignoreSourceArchive?: boolean;
-  dateAdded?: number | undefined;
-  language?: string;
-}
-
-export interface FullDatabaseOptions extends DatabaseOptions {
-  ignoreSourceArchive: boolean;
-  dateAdded: number | undefined;
-  language: string | undefined;
-}
-
 interface PersistedDatabaseItem {
   uri: string;
   options?: DatabaseOptions;

extensions/ql-vscode/src/databases/local-databases/database-options.ts

@@ -0,0 +1,12 @@
+export interface DatabaseOptions {
+  displayName?: string;
+  ignoreSourceArchive?: boolean;
+  dateAdded?: number | undefined;
+  language?: string;
+}
+
+export interface FullDatabaseOptions extends DatabaseOptions {
+  ignoreSourceArchive: boolean;
+  dateAdded: number | undefined;
+  language: string | undefined;
+}