From 6bd5ef29ae7a58537270057c6fda6392105b1579 Mon Sep 17 00:00:00 2001
From: Jonas Jenwald <jonas.jenwald@gmail.com>
Date: Thu, 6 Oct 2022 12:03:22 +0200
Subject: [PATCH] Log the `build` number, in addition to the `version`, in the
 viewer

Given that the `build` number allows you to *directly* find the relevant commit, it cannot hurt to log that one as well.
---
 web/app.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/web/app.js b/web/app.js
index 046f498ee..5fd9ce616 100644
--- a/web/app.js
+++ b/web/app.js
@@ -1481,7 +1481,7 @@ const PDFViewerApplication = {
     console.log(
       `PDF ${pdfDocument.fingerprints[0]} [${info.PDFFormatVersion} ` +
         `${(info.Producer || "-").trim()} / ${(info.Creator || "-").trim()}] ` +
-        `(PDF.js: ${version || "-"})`
+        `(PDF.js: ${version || "?"} [${build || "?"}])`
     );
     let pdfTitle = info.Title;