[gtksourceview] json.lang: minor improvements (MIME + geoJSON & topoJSON)

[Sébastien Wilmet <swilmet src gnome org>]

commit ece6fdc563eee9ecfb510843e2f75453b23b6b5a
Author: Martin Blanchard <tchaik gmx com>
Date:   Sat Nov 22 22:01:20 2014 +0100

    json.lang: minor improvements (MIME + geoJSON & topoJSON)
    
    According to RFC7159 and IANA, JSON official MIME media type is
    application/JSON, better specify it.
    
    GeoJSON (.geo.json or .geojson files) and TopoJSON (.topojson files)
    are both JSON based formats. This patch also adds file extension
    detection for those two.
    
    https://bugzilla.gnome.org/show_bug.cgi?id=740560

 data/language-specs/json.lang |    4 +++-
 1 files changed, 3 insertions(+), 1 deletions(-)
---
diff --git a/data/language-specs/json.lang b/data/language-specs/json.lang
index 050d378..1e8fd04 100644
--- a/data/language-specs/json.lang
+++ b/data/language-specs/json.lang
@@ -1,5 +1,6 @@
 <?xml version="1.0" encoding="UTF-8"?>
 <!--
+
  This file is part of GtkSourceView
 
  Author: Sapphire Becker <guess logicplace com>
@@ -28,7 +29,8 @@
 -->
 <language id="json" name="JSON" version="2.0" _section="Other">
   <metadata>
-    <property name="globs">*.json</property>
+    <property name="mimetypes">application/json</property>
+    <property name="globs">*.json;*.geojson;*.topojson</property>
   </metadata>
 
   <styles>