From f6fd8e9e7fc4837607e552ecc8135b666b5a76a1 Mon Sep 17 00:00:00 2001
From: Takashi Tamura <tamuratak@users.noreply.github.com>
Date: Fri, 31 Jul 2020 15:27:58 +0900
Subject: [PATCH] Use typedef to define the type of GlobalWorkerOptions.

---
 src/display/worker_options.js | 23 ++++++++++++-----------
 1 file changed, 12 insertions(+), 11 deletions(-)

diff --git a/src/display/worker_options.js b/src/display/worker_options.js
index a72fdf0a4..af53729af 100644
--- a/src/display/worker_options.js
+++ b/src/display/worker_options.js
@@ -13,24 +13,25 @@
  * limitations under the License.
  */
 
+/**
+ * @typedef {Object} GlobalWorkerOptionsType
+ * @property {Worker | null} workerPort - Defines global port for worker
+ *   process. Overrides the `workerSrc` option.
+ * @property {string} workerSrc - A string containing the path and filename
+ *   of the worker file.
+ *
+ *   NOTE: The `workerSrc` option should always be set, in order to prevent any
+ *         issues when using the PDF.js library.
+ */
+
+/** @type {GlobalWorkerOptionsType} */
 const GlobalWorkerOptions = Object.create(null);
 
-/**
- * Defines global port for worker process. Overrides the `workerSrc` option.
- * @var {Object}
- */
 GlobalWorkerOptions.workerPort =
   GlobalWorkerOptions.workerPort === undefined
     ? null
     : GlobalWorkerOptions.workerPort;
 
-/**
- * A string containing the path and filename of the worker file.
- *
- * NOTE: The `workerSrc` option should always be set, in order to prevent any
- *       issues when using the PDF.js library.
- * @var {string}
- */
 GlobalWorkerOptions.workerSrc =
   GlobalWorkerOptions.workerSrc === undefined
     ? ""