From 7b37af7eb4ea6c9f406446f9bffbc2d4560e7ae5 Mon Sep 17 00:00:00 2001
From: Calixte Denizet <calixte.denizet@gmail.com>
Date: Wed, 8 Jun 2022 09:26:17 +0200
Subject: [PATCH] Change the name of the generated pdf.sandbox.external for
 mozilla-central

This patch is blocking https://phabricator.services.mozilla.com/D148600.
---
 gulpfile.js | 15 +++++++++------
 1 file changed, 9 insertions(+), 6 deletions(-)

diff --git a/gulpfile.js b/gulpfile.js
index 5d98642b6829c..090c4e584aef0 100644
--- a/gulpfile.js
+++ b/gulpfile.js
@@ -393,12 +393,15 @@ 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}`;
-    })
-  );
+  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"));
 }
 
 function createTemporaryScriptingBundle(defines, extraOptions = undefined) {