[no subject]

[Gavin D. Smith]

branch: master
commit 697fc53a579d6f2da2ee6f4edc8c914ef934cd17
Author: Gavin Smith <gavinsmith0123@gmail.com>
AuthorDate: Wed Oct 16 13:38:58 2019 +0100

    Disable deprecation warnings
    
    Much of the DOM access API is deprecated.  This is not good.  The
    documentation says "Use JavaScriptCore API instead" but the main reason
    I used WebKitGTK in the first place was to avoid using JavaScript to
    access the DOM.
---
 js/wkinfo/common.h | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/js/wkinfo/common.h b/js/wkinfo/common.h
index 40cbda700a..076d0ae03e 100644
--- a/js/wkinfo/common.h
+++ b/js/wkinfo/common.h
@@ -1 +1,3 @@
 #define PACKET_SIZE 1000
+
+#pragma GCC diagnostic ignored "-Wdeprecated-declarations"