From bb5467789be61929711f9231d0e17af6ff56755b Mon Sep 17 00:00:00 2001
From: Mark Banner <standard8@mozilla.com>
Date: Thu, 30 Mar 2023 14:37:28 +0100
Subject: [PATCH] Remove now unnecessary eslint-disable statement generated for
 PdfJsDefaultPreferences.sys.mjs. (bug 1825522).

---
 gulpfile.js | 12 +-----------
 1 file changed, 1 insertion(+), 11 deletions(-)

diff --git a/gulpfile.js b/gulpfile.js
index 1d32fdea8..243cceb7f 100644
--- a/gulpfile.js
+++ b/gulpfile.js
@@ -1267,7 +1267,6 @@ function preprocessDefaultPreferences(content) {
   const preprocessor2 = require("./external/builder/preprocessor2.js");
   const licenseHeader = fs.readFileSync("./src/license_header.js").toString();
 
-  const GLOBALS = "/* eslint-disable */\n";
   const MODIFICATION_WARNING =
     "//\n// THIS FILE IS GENERATED AUTOMATICALLY, DO NOT EDIT MANUALLY!\n//\n";
 
@@ -1283,16 +1282,7 @@ function preprocessDefaultPreferences(content) {
     content
   );
 
-  return (
-    licenseHeader +
-    "\n" +
-    GLOBALS +
-    "\n" +
-    MODIFICATION_WARNING +
-    "\n" +
-    content +
-    "\n"
-  );
+  return licenseHeader + "\n" + MODIFICATION_WARNING + "\n" + content + "\n";
 }
 
 gulp.task(