diff options
| author | Lorry Tar Creator <lorry-tar-importer@lorry> | 2017-06-27 06:07:23 +0000 |
|---|---|---|
| committer | Lorry Tar Creator <lorry-tar-importer@lorry> | 2017-06-27 06:07:23 +0000 |
| commit | 1bf1084f2b10c3b47fd1a588d85d21ed0eb41d0c (patch) | |
| tree | 46dcd36c86e7fbc6e5df36deb463b33e9967a6f7 /Tools/gtk/patches/shared-mime-info-xht-glob.patch | |
| parent | 32761a6cee1d0dee366b885b7b9c777e67885688 (diff) | |
| download | WebKitGtk-tarball-1bf1084f2b10c3b47fd1a588d85d21ed0eb41d0c.tar.gz | |
webkitgtk-2.16.5HEADwebkitgtk-2.16.5master
Diffstat (limited to 'Tools/gtk/patches/shared-mime-info-xht-glob.patch')
| -rw-r--r-- | Tools/gtk/patches/shared-mime-info-xht-glob.patch | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/Tools/gtk/patches/shared-mime-info-xht-glob.patch b/Tools/gtk/patches/shared-mime-info-xht-glob.patch new file mode 100644 index 000000000..667ae4991 --- /dev/null +++ b/Tools/gtk/patches/shared-mime-info-xht-glob.patch @@ -0,0 +1,21 @@ +From 6e5818deb54fdfa70f5798fc1df1d5c3eaba42df Mon Sep 17 00:00:00 2001 +From: Bastien Nocera <hadess@hadess.net> +Date: Thu, 7 Jan 2016 15:48:47 +0100 +Subject: Add *.xht as a glob for XHTML files + + +diff --git a/freedesktop.org.xml.in b/freedesktop.org.xml.in +index dc12655..48696d9 100644 +--- a/freedesktop.org.xml.in ++++ b/freedesktop.org.xml.in +@@ -3669,6 +3669,7 @@ command to generate the output files. + <sub-class-of type="application/xml"/> + <generic-icon name="text-html"/> + <glob pattern="*.xhtml"/> ++ <glob pattern="*.xht"/> + <root-XML namespaceURI='http://www.w3.org/1999/xhtml' localName='html'/> + </mime-type> + <mime-type type="application/zip"> +-- +cgit v0.10.2 + |