diff options
Diffstat (limited to 'WebKit/chromium/public/WebBindings.h')
| -rw-r--r-- | WebKit/chromium/public/WebBindings.h | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/WebKit/chromium/public/WebBindings.h b/WebKit/chromium/public/WebBindings.h index bca4095..147ce45 100644 --- a/WebKit/chromium/public/WebBindings.h +++ b/WebKit/chromium/public/WebBindings.h @@ -32,6 +32,7 @@ #define WebBindings_h #include "WebCommon.h" +#include "WebVector.h" #include <bindings/npruntime.h> namespace WebKit { @@ -144,6 +145,8 @@ public: // If so, return that element as a WebElement object. WEBKIT_API static bool getElement(NPObject* element, WebElement*); + WEBKIT_API static NPObject* makeIntArray(const WebVector<int>&); + // Exceptions ------------------------------------------------------------- typedef void (ExceptionHandler)(void* data, const NPUTF8* message); |
