[webkit-reviews] review granted: [Bug 191643] Setting document.title should have no effect for non SVG/HTML documents : [Attachment 355261] Patch

[bugzilla-daemon at webkit.org]

Chris Dumez <cdumez at apple.com> has granted  review:
Bug 191643: Setting document.title should have no effect for non SVG/HTML
documents
https://bugs.webkit.org/show_bug.cgi?id=191643

Attachment 355261: Patch

https://bugs.webkit.org/attachment.cgi?id=355261&action=review




--- Comment #13 from Chris Dumez <cdumez at apple.com> ---
Comment on attachment 355261
  --> https://bugs.webkit.org/attachment.cgi?id=355261
Patch

View in context: https://bugs.webkit.org/attachment.cgi?id=355261&action=review

> Source/WebCore/dom/Document.cpp:1590
> +    } else if (element && element->isHTMLElement()) {

is<HTMLElement>(element)