[gtksourceview/gtksourceview-4-8] Merge branch 'wip/andyholmes/add-pyi-highlighting' into 'master'

[Christian Hergert <chergert src gnome org>]

commit cf56f12a46c052c1d393d785bd7308004362368f
Author: Christian Hergert <christian hergert me>
Date:   Sun Dec 19 03:24:17 2021 +0000

    Merge branch 'wip/andyholmes/add-pyi-highlighting' into 'master'
    
    python3.lang: add *.pyi to the list of extensions for Python3
    
    See merge request GNOME/gtksourceview!234
    
    (cherry picked from commit 372ff709078d0609b2aa084bd827490ee44ce6bb)
    
    f384fa35 python3.lang: add *.pyi to the list of extensions for Python3

 data/language-specs/python3.lang | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)
---
diff --git a/data/language-specs/python3.lang b/data/language-specs/python3.lang
index a7655194..630302c9 100644
--- a/data/language-specs/python3.lang
+++ b/data/language-specs/python3.lang
@@ -23,7 +23,7 @@
 <language id="python3" name="Python" version="2.0" _section="Script">
   <metadata>
     <property name="mimetypes">text/x-python;application/x-python;text/x-python3</property>
-    <property name="globs">*.py;*.py3</property>
+    <property name="globs">*.py;*.py3;*.pyi</property>
     <property name="line-comment-start">#</property>
   </metadata>