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

Merge pull request #19052 from Snuffleupagus/pr-19029

Browse source 
Remove the `extensions/chromium/.eslintrc` file (PR 19029 follow-up)
This commit is contained in:
Tim van der Meij 2024-11-17 12:21:33 +01:00 • committed by GitHub
commit cab98b8ca9
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 0 additions and 36 deletions
Download patch file Download diff file Expand all files Collapse all files

36
extensions/chromium/.eslintrc
View file

@ -1,36 +0,0 @@
{
"extends": [
../../.eslintrc
],
"env": {
"webextensions": true
},
"parserOptions": {
"sourceType": "script"
},
"rules": {
"no-var": "off",
},
"overrides": [
{
// Include all files referenced in background.js
"files": [
"options/migration.js",
"preserve-referer.js",
"pdfHandler.js",
"extension-router.js",
"suppress-update.js",
"telemetry.js"
],
"env": {
// Background script is a service worker.
"browser": false,
"serviceworker": true
}
}
]
}