From 9369adb4bd4dc07711fd0172420c549e25dd1d11 Mon Sep 17 00:00:00 2001
From: Jonas Jenwald <jonas.jenwald@gmail.com>
Date: Sat, 3 Dec 2022 12:52:36 +0100
Subject: [PATCH] Remove the unused
 `DefaultExternalServices.createDownloadManager` options (PR 12191 follow-up)

---
 web/app.js        | 2 +-
 web/chromecom.js  | 2 +-
 web/firefoxcom.js | 2 +-
 web/genericcom.js | 2 +-
 4 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/web/app.js b/web/app.js
index 201d48818..2519d96f9 100644
--- a/web/app.js
+++ b/web/app.js
@@ -106,7 +106,7 @@ class DefaultExternalServices {
 
   static reportTelemetry(data) {}
 
-  static createDownloadManager(options) {
+  static createDownloadManager() {
     throw new Error("Not implemented: createDownloadManager");
   }
 
diff --git a/web/chromecom.js b/web/chromecom.js
index b2f5b2c64..a5e337fbc 100644
--- a/web/chromecom.js
+++ b/web/chromecom.js
@@ -407,7 +407,7 @@ class ChromeExternalServices extends DefaultExternalServices {
     );
   }
 
-  static createDownloadManager(options) {
+  static createDownloadManager() {
     return new DownloadManager();
   }
 
diff --git a/web/firefoxcom.js b/web/firefoxcom.js
index a157b282e..69a56257c 100644
--- a/web/firefoxcom.js
+++ b/web/firefoxcom.js
@@ -388,7 +388,7 @@ class FirefoxExternalServices extends DefaultExternalServices {
     FirefoxCom.request("reportTelemetry", JSON.stringify(data));
   }
 
-  static createDownloadManager(options) {
+  static createDownloadManager() {
     return new DownloadManager();
   }
 
diff --git a/web/genericcom.js b/web/genericcom.js
index 7ba212447..6d5120e9b 100644
--- a/web/genericcom.js
+++ b/web/genericcom.js
@@ -38,7 +38,7 @@ class GenericPreferences extends BasePreferences {
 }
 
 class GenericExternalServices extends DefaultExternalServices {
-  static createDownloadManager(options) {
+  static createDownloadManager() {
     return new DownloadManager();
   }