[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