diff options
author | Nikita Zlobin <nick87720z@gmail.com> | 2018-08-21 13:44:27 +0500 |
---|---|---|
committer | Bastien Nocera <hadess@hadess.net> | 2018-08-21 12:31:42 +0200 |
commit | 8ae13a589577e9bda12fb16465a03cd81b1cd349 (patch) | |
tree | 8214e7a8bf58893ebf09799043a2f9603324de1c /freedesktop.org.xml.in | |
parent | 2d7bea2e4381d48da9b1aaece0f0d18f6047f868 (diff) |
Assign *.html to XHTML pages
So that WebKitGTK+ can detect mime-types more reliably for local
XHTML files which wouldn't be detected as XHTML through magic.
See https://bugs.webkit.org/show_bug.cgi?id=160347
https://bugs.freedesktop.org/show_bug.cgi?id=107637
Diffstat (limited to 'freedesktop.org.xml.in')
-rw-r--r-- | freedesktop.org.xml.in | 2 |
1 files changed, 2 insertions, 0 deletions
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"/> |