From 7a89f4a78979c2f3532d483877c0e996884660ff Mon Sep 17 00:00:00 2001
From: Jonas Jenwald <jonas.jenwald@gmail.com>
Date: Thu, 9 Jun 2022 09:52:28 +0200
Subject: [PATCH] Set the MIME type correctly when downloading fonts in
 `debugger.js` (PR 5366 follow-up)

Because of a capitalization error, the MIME type wasn't actually being set correctly. However, please note that downloading of font files still worked correctly which is probably why this has gone unnoticed since 2014.
---
 web/debugger.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/web/debugger.js b/web/debugger.js
index 1d5571007..5bc6bdf95 100644
--- a/web/debugger.js
+++ b/web/debugger.js
@@ -117,7 +117,7 @@ const FontInspector = (function FontInspectorClosure() {
         download.href = url[1];
       } else if (fontObj.data) {
         download.href = URL.createObjectURL(
-          new Blob([fontObj.data], { type: fontObj.mimeType })
+          new Blob([fontObj.data], { type: fontObj.mimetype })
         );
       }
       download.textContent = "Download";