Delete unused function

Author: strager

plugin/vscode/extension.js

@@ -35,10 +35,6 @@ class VSCodeDocumentLinter {
     await this._documentLinter.disposeAsync();
   }
 
-  dispose() {
-    this._documentLinter.dispose();
-  }
-
   async editorChangedVisibilityAsync() {
     await this._documentLinter.editorChangedVisibilityAsync();
   }

wasm/quick-lint-js.js

@@ -139,12 +139,6 @@ class DocumentLinter {
     this._document.removeDiagnostics();
   }
 
-  dispose() {
-    logAsyncErrors(async () => {
-      await this.disposeAsync();
-    });
-  }
-
   async editorChangedVisibilityAsync() {
     switch (this._state) {
       case DocumentLinterState.NO_WASM_DOC: