mirrors/pdf.js
1
0
Fork 0
mirror of https://github.com/mozilla/pdf.js.git synced 2025-04-19 22:58:07 +02:00
Code Activity

Merge pull request #15776 from Snuffleupagus/rm-createDownloadManager-options

Browse source 
Remove the unused `DefaultExternalServices.createDownloadManager` options (PR 12191 follow-up)
This commit is contained in:
Jonas Jenwald 2022-12-07 10:31:15 +01:00 • committed by GitHub
commit c639063050
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
4 changed files with 4 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

2
web/app.js
View file

@ -106,7 +106,7 @@ class DefaultExternalServices {
static reportTelemetry(data) {}
static createDownloadManager(options) {
static createDownloadManager() {
throw new Error("Not implemented: createDownloadManager");
}

2
web/chromecom.js
View file

@ -407,7 +407,7 @@ class ChromeExternalServices extends DefaultExternalServices {
);
}
static createDownloadManager(options) {
static createDownloadManager() {
return new DownloadManager();
}

2
web/firefoxcom.js
View file

@ -388,7 +388,7 @@ class FirefoxExternalServices extends DefaultExternalServices {
FirefoxCom.request("reportTelemetry", JSON.stringify(data));
}
static createDownloadManager(options) {
static createDownloadManager() {
return new DownloadManager();
}

2
web/genericcom.js
View file

@ -38,7 +38,7 @@ class GenericPreferences extends BasePreferences {
}
class GenericExternalServices extends DefaultExternalServices {
static createDownloadManager(options) {
static createDownloadManager() {
return new DownloadManager();
}