[gtksourceview] jade.lang: add *.pug to globs

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

commit 535896086af703cc66d4b22dd7fd2bac310cbd7b
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 88b56ef..300f66d 100644
--- a/data/language-specs/jade.lang
+++ b/data/language-specs/jade.lang
@@ -23,7 +23,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>