Merge pull request #15003 from calixteman/mc

Change the name of the generated pdf.sandbox.external for mozilla-central
mozilla · Jun 8, 2022 · c8b8db6 · c8b8db6
2 parents 7761d2b + 7b37af7
commit c8b8db6
Showing 1 changed file with 9 additions and 6 deletions.
diff --git 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) {