From c8f6cb9fcf8bb555bcc4bbe761b82bc85e939131 Mon Sep 17 00:00:00 2001
From: calixteman <cdenizet@mozilla.com>
Date: Fri, 10 Jun 2022 11:34:28 +0200
Subject: [PATCH] Revert "Change the name of the generated pdf.sandbox.external
 for mozilla-central"

---
 gulpfile.js | 15 ++++++---------
 1 file changed, 6 insertions(+), 9 deletions(-)

diff --git a/gulpfile.js b/gulpfile.js
index 090c4e584..5d98642b6 100644
--- a/gulpfile.js
+++ b/gulpfile.js
@@ -393,15 +393,12 @@ function createSandboxExternal(defines) {
     saveComments: false,
     defines,
   };
-  return gulp
-    .src("./src/pdf.sandbox.external.js")
-    .pipe(
-      transform("utf8", content => {
-        content = preprocessor2.preprocessPDFJSCode(ctx, content);
-        return `${licenseHeader}\n${content}`;
-      })
-    )
-    .pipe(rename("pdf.sandbox.external.jsm"));
+  return gulp.src("./src/pdf.sandbox.external.js").pipe(
+    transform("utf8", content => {
+      content = preprocessor2.preprocessPDFJSCode(ctx, content);
+      return `${licenseHeader}\n${content}`;
+    })
+  );
 }
 
 function createTemporaryScriptingBundle(defines, extraOptions = undefined) {