[webkit-changes] [WebKit/WebKit] cd2d81: Fix build with legacy media controls
Olivier Blin
noreply at github.com
Sat Sep 23 00:01:43 PDT 2023
Branch: refs/heads/main
Home: https://github.com/WebKit/WebKit
Commit: cd2d810df2548a392640b1aa038f867705e8a754
https://github.com/WebKit/WebKit/commit/cd2d810df2548a392640b1aa038f867705e8a754
Author: Olivier Blin <olivier.blin at softathome.com>
Date: 2023-09-23 (Sat, 23 Sep 2023)
Changed paths:
M Source/WebCore/PlatformPlayStation.cmake
M Source/WebCore/platform/Adwaita.cmake
Log Message:
-----------
Fix build with legacy media controls
https://bugs.webkit.org/show_bug.cgi?id=261878
Reviewed by Michael Catanzaro.
Build failed with ENABLE_MODERN_MEDIA_CONTROLS disabled, because
css/mediaControls.css was not added in WebCore_USER_AGENT_STYLE_SHEETS,
since 255715 at main.
* Source/WebCore/PlatformPlayStation.cmake:
* Source/WebCore/platform/Adwaita.cmake:
Canonical link: https://commits.webkit.org/268355@main
More information about the webkit-changes
mailing list