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

[Rico Tzschichholz <ricotz src gnome org>]

commit 06f4b599554773b5fbfe7cbab99eff8d94d2cb94
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 ae71480ad..1945a06c8 100644
--- a/vala/valagirparser.vala
+++ b/vala/valagirparser.vala
@@ -2247,6 +2247,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;
                        }
@@ -2274,6 +2276,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;
                        }