[vala/0.42] girparser: Skip "source-position" elements

[Rico Tzschichholz <ricotz src gnome org>]

commit d468e4c1629024ed2316ab5d886ac4e3464f301b
Author: Rico Tzschichholz <ricotz ubuntu com>
Date:   Mon Dec 3 09:05:25 2018 +0100

    girparser: Skip "source-position" elements
    
    See https://gitlab.gnome.org/GNOME/gobject-introspection/merge_requests/75

 vala/valagirparser.vala | 4 ++++
 1 file changed, 4 insertions(+)
---
diff --git a/vala/valagirparser.vala b/vala/valagirparser.vala
index 8d266917a..332037553 100644
--- a/vala/valagirparser.vala
+++ b/vala/valagirparser.vala
@@ -2266,6 +2266,8 @@ public class Vala.GirParser : CodeVisitor {
                                end_element ("doc");
                        } else if (reader_name == "doc-version" || reader_name == "doc-deprecated" || 
reader_name == "doc-stability") {
                                skip_element ();
+                       } else if (reader_name == "source-position") {
+                               skip_element ();
                        } else {
                                break;
                        }
@@ -2293,6 +2295,8 @@ public class Vala.GirParser : CodeVisitor {
                                end_element ("doc");
                        } else if (reader_name == "doc-version" || reader_name == "doc-deprecated" || 
reader_name == "doc-stability") {
                                skip_element ();
+                       } else if (reader_name == "source-position") {
+                               skip_element ();
                        } else {
                                break;
                        }