[webkit-reviews] review granted: [Bug 137970] [GTK] RenderThemeGtk::mediaControlsScript() is not defined when VIDEO is disabled : [Attachment 240281] proposed wk patch

[bugzilla-daemon at webkit.org]

Carlos Garcia Campos <cgarcia at igalia.com> has granted Milan Crha
<mcrha at redhat.com>'s request for review:
Bug 137970: [GTK] RenderThemeGtk::mediaControlsScript() is not defined when
VIDEO is disabled
https://bugs.webkit.org/show_bug.cgi?id=137970

Attachment 240281: proposed wk patch

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