[gtksourceview: 1/2] python3.lang: add *.pyi to the list of extensions for Python3

[Christian Hergert <chergert src gnome org>]

commit f384fa357697e580c5be43e088c63c62d9a09bb9
Author: Andy Holmes <andrew g r holmes gmail com>
Date:   Fri Dec 17 21:35:23 2021 -0800

    python3.lang: add *.pyi to the list of extensions for Python3
    
    Mypy uses stub files to facilitate static typing of both Python 3 and
    2.7 code. Stub files are written in normal Python 3 syntax, but
    typically omit the implementation of the functions and types they
    describe.
    
    https://gitlab.freedesktop.org/xdg/shared-mime-info/merge_requests/115
    https://www.python.org/dev/peps/pep-0484/#stub-files
    https://mypy.readthedocs.io/en/stable/stubs.html#stub-file-syntax

 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 8fbb4755..b1d37e0f 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>