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

Merge pull request #15003 from calixteman/mc

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

15
gulpfile.js
View File

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