diff options
| author | Michael Catanzaro <mcatanzaro@gnome.org> | 2016-10-26 13:05:16 -0500 |
|---|---|---|
| committer | David King <amigadave@amigadave.com> | 2017-06-20 11:33:03 +0100 |
| commit | 344986463565dd6ab51d4ef3ebec52b5880817e8 (patch) | |
| tree | 5250fa53ee0b3995d7fae5bfcfecef125db38db8 | |
| parent | 89987e4996ae2490ee496ab1c887c02988dbab93 (diff) | |
| download | yelp-344986463565dd6ab51d4ef3ebec52b5880817e8.tar.gz | |
web-extension: Stop using unstable DOM API headers
It's undesirable for Yelp to live on the edge, depending on API/ABI that
can change at any time, without us noticing, without any WebKit soname
bump. So the unstable API has been removed from WebKit. All API needed
by Yelp is now stable.
And there was much rejoicing in the streets!
https://bugzilla.gnome.org/show_bug.cgi?id=773551
| -rw-r--r-- | libyelp/web-extension/yelp-web-extension.c | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/libyelp/web-extension/yelp-web-extension.c b/libyelp/web-extension/yelp-web-extension.c index 770b3a75..c835021d 100644 --- a/libyelp/web-extension/yelp-web-extension.c +++ b/libyelp/web-extension/yelp-web-extension.c @@ -19,14 +19,12 @@ */ #include <webkit2/webkit-web-extension.h> +#include <webkitdom/webkitdom.h> #include <string.h> #include <stdlib.h> #include "yelp-uri.h" #include "yelp-uri-builder.h" -#define WEBKIT_DOM_USE_UNSTABLE_API -#include <webkitdom/WebKitDOMElementUnstable.h> - static YelpUri *current_uri; static gchar * |