web-extension: Stop using unstable DOM API headers
commit344986463565dd6ab51d4ef3ebec52b5880817e8
authorMichael Catanzaro <mcatanzaro@gnome.org>
Wed, 26 Oct 2016 18:05:16 +0000 (26 13:05 -0500)
committerDavid King <amigadave@amigadave.com>
Tue, 20 Jun 2017 10:33:03 +0000 (20 11:33 +0100)
tree5250fa53ee0b3995d7fae5bfcfecef125db38db8
parent89987e4996ae2490ee496ab1c887c02988dbab93
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
libyelp/web-extension/yelp-web-extension.c