diff options
Diffstat (limited to 'WebKit/chromium/public/WebDocument.h')
| -rw-r--r-- | WebKit/chromium/public/WebDocument.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/WebKit/chromium/public/WebDocument.h b/WebKit/chromium/public/WebDocument.h index 1f09653..c093c58 100644 --- a/WebKit/chromium/public/WebDocument.h +++ b/WebKit/chromium/public/WebDocument.h @@ -62,6 +62,7 @@ public: // Returns the frame the document belongs to or 0 if the document is frameless. WEBKIT_API WebFrame* frame() const; WEBKIT_API bool isHTMLDocument() const; + WEBKIT_API bool isXHTMLDocument() const; WEBKIT_API bool isPluginDocument() const; WEBKIT_API WebURL baseURL() const; WEBKIT_API WebURL firstPartyForCookies() const; |