[gtksourceview/gnome-3-24] jade.lang: add *.pug to globs

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

commit 92757d913b4fbf5402fd50eb8f4cc2e78cdbe092
Author: Sébastien Wilmet <swilmet gnome org>
Date:   Sat Apr 29 10:45:45 2017 +0200

    jade.lang: add *.pug to globs
    
    The Jade markup language was renamed to Pug due to a trademark issue,
    and the developers recommend to rename all jade files to .pug because
    expressjs (the web framework jade/pug are most commonly used with) uses
    the file extension to determine the template language.
    
    https://bugzilla.gnome.org/show_bug.cgi?id=781926

 data/language-specs/jade.lang |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)
---
diff --git a/data/language-specs/jade.lang b/data/language-specs/jade.lang
index c98afc9..5784cde 100644
--- a/data/language-specs/jade.lang
+++ b/data/language-specs/jade.lang
@@ -24,7 +24,7 @@
 -->
 <language id="jade" _name="Jade" version="2.0" _section="Markup">
   <metadata>
-    <property name="globs">*.jade</property>
+    <property name="globs">*.jade;*.pug</property>
     <property name="line-comment-start">//</property>
   </metadata>