From df4818f3cd4c0e29bb17e7ad1867ba7c267650b5 Mon Sep 17 00:00:00 2001
From: Nikita Zlobin <nick87720z@gmail.com>
Date: Tue, 21 Aug 2018 13:44:27 +0500
Subject: [PATCH] Assign *.html to HTML pages

So that WebKitGTK+ can detect mime-types more reliably for local HTML
files.

See https://bugs.webkit.org/show_bug.cgi?id=160347

https://bugs.freedesktop.org/show_bug.cgi?id=107637
---
 freedesktop.org.xml.in | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/freedesktop.org.xml.in b/freedesktop.org.xml.in
index db1524c..66c44fa 100644
--- a/freedesktop.org.xml.in
+++ b/freedesktop.org.xml.in
@@ -3966,6 +3966,8 @@ command to generate the output files.
     <generic-icon name="text-html"/>
     <glob pattern="*.xhtml"/>
     <glob pattern="*.xht"/>
+    <glob pattern="*.html"/>
+    <glob pattern="*.htm"/>
     <magic priority="60">
       <match type="string" value="//W3C//DTD XHTML " offset="0:256"/>
       <match type="string" value="http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd" offset="0:256"/>
-- 
2.17.1