1
0
Fork 0
mirror of https://github.com/mozilla/pdf.js.git synced 2025-04-19 06:38:07 +02:00

Remove the eslint-plugin-{fetch-options,html} dependencies

The plugins have originally been introduced in commit d63da81 for the
`eslint-plugin-mozilla` dependency, but the `eslint-plugin-mozilla`
plugin got removed in commit be93d53 and we also don't use the plugins
ourselves in e.g. our `.eslintrc` files (as evidenced by `npx gulp lint`
not failing while it does fail if we remove any of the other plugins).
This commit is contained in:
Tim van der Meij 2024-10-20 15:05:49 +02:00
parent df77401821
commit 760dd24ea0
No known key found for this signature in database
GPG key ID: 8C3FD2925A5F2762
2 changed files with 0 additions and 26 deletions

View file

@ -17,8 +17,6 @@
"core-js": "^3.38.1",
"eslint": "^8.57.1",
"eslint-config-prettier": "^9.1.0",
"eslint-plugin-fetch-options": "^0.0.5",
"eslint-plugin-html": "^8.1.2",
"eslint-plugin-import": "^2.31.0",
"eslint-plugin-jasmine": "^4.2.2",
"eslint-plugin-json": "^3.1.0",