From 7df082fce3909dedf0f298f45a3edf31156a7f4d Mon Sep 17 00:00:00 2001
From: Jonas Jenwald <jonas.jenwald@gmail.com>
Date: Sat, 21 Oct 2023 10:27:47 +0200
Subject: [PATCH] A couple of `PDFDocumentProperties` tweaks (PR 17115
 follow-up)

 - The old translation engine handled language code casing slightly differently, hence we need to tweak the non-metric locale check in `PDFDocumentProperties` to account for that.

 - Use only lowercase names for the pre-defined page names, to improve overall consistency.
---
 web/pdf_document_properties.js | 13 ++++++-------
 1 file changed, 6 insertions(+), 7 deletions(-)

diff --git a/web/pdf_document_properties.js b/web/pdf_document_properties.js
index 50f1d18e2..be07df77d 100644
--- a/web/pdf_document_properties.js
+++ b/web/pdf_document_properties.js
@@ -19,13 +19,14 @@ import { PDFDateString, PromiseCapability } from "pdfjs-lib";
 const DEFAULT_FIELD_CONTENT = "-";
 
 // See https://en.wikibooks.org/wiki/Lentis/Conversion_to_the_Metric_Standard_in_the_United_States
-const NON_METRIC_LOCALES = ["en-us", "en-lr", "my"];
+const NON_METRIC_LOCALES = ["en-US", "en-LR", "my"];
 
-// Should use the format: `width x height`, in portrait orientation.
+// Should use the format: `width x height`, in portrait orientation. The names,
+// which are l10n-ids, should be lowercase.
 // See https://en.wikipedia.org/wiki/Paper_size
 const US_PAGE_NAMES = {
-  "8.5x11": "Letter",
-  "8.5x14": "Legal",
+  "8.5x11": "letter",
+  "8.5x14": "legal",
 };
 const METRIC_PAGE_NAMES = {
   "297x420": "a-three",
@@ -312,9 +313,7 @@ class PDFDocumentProperties {
         }`
       ),
       rawName &&
-        this.l10n.get(
-          `pdfjs-document-properties-page-size-name-${rawName.toLowerCase()}`
-        ),
+        this.l10n.get(`pdfjs-document-properties-page-size-name-${rawName}`),
       this.l10n.get(
         `pdfjs-document-properties-page-size-orientation-${
           isPortrait ? "portrait" : "landscape"