Sakurai/pdf.js
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Merge pull request #15019 from mozilla/revert-15003-mc

Browse Source 
Revert "Change the name of the generated pdf.sandbox.external for mozilla-central"
This commit is contained in:
calixteman 2022-06-10 11:35:14 +02:00 committed by GitHub
commit 808a55e42b
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 6 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
gulpfile.js
View File

@ -393,15 +393,12 @@ function createSandboxExternal(defines) {
saveComments: false,
defines,
};
return gulp
.src("./src/pdf.sandbox.external.js")
.pipe(
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) {