RenderThemeGtk::mediaControlsScript() is not defined when VIDEO is disabled.
authorcommit-queue@webkit.org <commit-queue@webkit.org@268f45cc-cd09-0410-ab3c-d52691b4dbfc>
Thu, 23 Oct 2014 07:17:50 +0000 (07:17 +0000)
committercommit-queue@webkit.org <commit-queue@webkit.org@268f45cc-cd09-0410-ab3c-d52691b4dbfc>
Thu, 23 Oct 2014 07:17:50 +0000 (07:17 +0000)
commit608f531809eef3d10318972d799a2574a061b5a0
tree18c40adaa925b8cb47d69f5bad13c9498905dbef
parente1376f52347d5a7e553adb8a25fc0a9f38c021a9
RenderThemeGtk::mediaControlsScript() is not defined when VIDEO is disabled.
<https://webkit.org/b/137970>.

Patch by Milan Crha <mcrha@redhat.com> on 2014-10-23
Reviewed by Carlos Garcia Campos.

* rendering/RenderThemeGtk.cpp:

git-svn-id: https://svn.webkit.org/repository/webkit/trunk@175095 268f45cc-cd09-0410-ab3c-d52691b4dbfc
Source/WebCore/ChangeLog
Source/WebCore/rendering/RenderThemeGtk.cpp