From 61ffa9caa9b934d2db4c0a6bda7101ee663f0767 Mon Sep 17 00:00:00 2001
From: Jonas Jenwald <jonas.jenwald@gmail.com>
Date: Sun, 25 Oct 2020 16:28:23 +0100
Subject: [PATCH] Tweak the `pdf.scripting.js` bundling, to improve overall
 consistency

This brings the new `pdf.scripting.js` bundling more in-line with the pre-existing handling for the  `pdf.js`/`pdf.worker.js` files:
 - Add a new `src/pdf.scripting.js` file as the entry-point for the build scripts.

 - Add the version/build numbers at the top of the *built* `pdf.scripting.js` files, since all other built files include that information given that it's often helpful to be able to easily determine the *exact* version.

 - Tweak the `createScriptingBundle` in the gulp-file, since it looks like a little bit too much copy-and-paste in the variable names.
---
 gulpfile.js          | 16 ++++++++--------
 src/pdf.scripting.js | 25 +++++++++++++++++++++++++
 2 files changed, 33 insertions(+), 8 deletions(-)
 create mode 100644 src/pdf.scripting.js

diff --git a/gulpfile.js b/gulpfile.js
index d6b79b0c72499..d6e841470bea0 100644
--- a/gulpfile.js
+++ b/gulpfile.js
@@ -317,20 +317,20 @@ function createMainBundle(defines) {
 }
 
 function createScriptingBundle(defines) {
-  var mainAMDName = "pdfjs-dist/build/pdf.scripting";
-  var mainOutputName = "pdf.scripting.js";
+  var scriptingAMDName = "pdfjs-dist/build/pdf.scripting";
+  var scriptingOutputName = "pdf.scripting.js";
 
-  var mainFileConfig = createWebpackConfig(defines, {
-    filename: mainOutputName,
-    library: mainAMDName,
+  var scriptingFileConfig = createWebpackConfig(defines, {
+    filename: scriptingOutputName,
+    library: scriptingAMDName,
     libraryTarget: "umd",
     umdNamedDefine: true,
   });
   return gulp
-    .src("./src/scripting_api/initialization.js")
-    .pipe(webpack2Stream(mainFileConfig))
+    .src("./src/pdf.scripting.js")
+    .pipe(webpack2Stream(scriptingFileConfig))
     .pipe(replaceWebpackRequire())
-    .pipe(replaceJSRootName(mainAMDName, "pdfjsScripting"));
+    .pipe(replaceJSRootName(scriptingAMDName, "pdfjsScripting"));
 }
 
 function createWorkerBundle(defines) {
diff --git a/src/pdf.scripting.js b/src/pdf.scripting.js
new file mode 100644
index 0000000000000..805fa84d4fd95
--- /dev/null
+++ b/src/pdf.scripting.js
@@ -0,0 +1,25 @@
+/* Copyright 2020 Mozilla Foundation
+ *
+ * Licensed under the Apache License, Version 2.0 (the "License");
+ * you may not use this file except in compliance with the License.
+ * You may obtain a copy of the License at
+ *
+ *     http://www.apache.org/licenses/LICENSE-2.0
+ *
+ * Unless required by applicable law or agreed to in writing, software
+ * distributed under the License is distributed on an "AS IS" BASIS,
+ * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+ * See the License for the specific language governing permissions and
+ * limitations under the License.
+ */
+
+import { initSandbox } from "./scripting_api/initialization.js";
+
+/* eslint-disable-next-line no-unused-vars */
+const pdfjsVersion =
+  typeof PDFJSDev !== "undefined" ? PDFJSDev.eval("BUNDLE_VERSION") : void 0;
+/* eslint-disable-next-line no-unused-vars */
+const pdfjsBuild =
+  typeof PDFJSDev !== "undefined" ? PDFJSDev.eval("BUNDLE_BUILD") : void 0;
+
+export { initSandbox };