[vfrnav] fix webkit API patch

[sailer]

commit 85834785efc17a7ee8b54bbeec48f098a56d9095
Author: Thomas Sailer <t.sailer at alumni.ethz.ch>
Date:   Fri Aug 30 00:41:48 2013 +0200

    fix webkit API patch

 vfrnav-webkit.patch |    4 ++--
 1 files changed, 2 insertions(+), 2 deletions(-)
---
diff --git a/vfrnav-webkit.patch b/vfrnav-webkit.patch
index 75d5a88..d2893be 100644
--- a/vfrnav-webkit.patch
+++ b/vfrnav-webkit.patch
@@ -5,7 +5,7 @@
  				g_free(lname);
  			}
 -			lname = webkit_dom_html_element_get_id(WEBKIT_DOM_HTML_ELEMENT(node));
-+			lname = webkit_dom_element_get_id(WEBKIT_DOM_HTML_ELEMENT(node));
++			lname = webkit_dom_element_get_id(WEBKIT_DOM_ELEMENT(node));
  			if (lname) {
  				if (*lname)
  					std::cerr << " id \"" << lname << "\"";
@@ -16,7 +16,7 @@
  				g_free(lname);
  			}
 -			lname = webkit_dom_html_element_get_id(WEBKIT_DOM_HTML_ELEMENT(node));
-+			lname = webkit_dom_element_get_id(WEBKIT_DOM_HTML_ELEMENT(node));
++			lname = webkit_dom_element_get_id(WEBKIT_DOM_ELEMENT(node));
  			if (lname) {
  				if (*lname)
  					std::cerr << " id \"" << lname << "\"";