From a66505c5c0238301e1b79987445e3caef41202b4 Mon Sep 17 00:00:00 2001
From: Tuxedo Takodachi <TuxedoTako@proton.me>
Date: Sat, 18 Mar 2023 10:40:40 +0100
Subject: [PATCH] Port: Recognize JPEG files with .jfif extensions as images
 for purposes of Image Hover etc.; also recognize .avif and .jxl files as
 images. from 71873cd7b22a565c2a41fa24f63f7504152683eb

---
 src/platform/$.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/platform/$.js b/src/platform/$.js
index 6f290f811..bd2186ac2 100644
--- a/src/platform/$.js
+++ b/src/platform/$.js
@@ -565,7 +565,7 @@ $.unescape = function(text) {
   return text.replace(/<[^>]*>/g, '').replace(/&(amp|#039|quot|lt|gt|#44);/g, c => ({'&amp;': '&', '&#039;': "'", '&quot;': '"', '&lt;': '<', '&gt;': '>', '&#44;': ','})[c]);
 };
 
-$.isImage = url => /\.(jpe?g|png|gif|bmp|webp)$/i.test(url);
+$.isImage = url => /\.(jpe?g|jfif|png|gif|bmp|webp|avif|jxl)$/i.test(url);
 $.isVideo = url => /\.(webm|mp4|ogv)$/i.test(url);
 
 $.engine = (function() {