[webkit-changes] [WebKit/WebKit] 73e96a: [Nicosia] Fix MediaPlayerPrivateHolePunch build

[Loïc Yhuel]

  Branch: refs/heads/main
  Home:   https://github.com/WebKit/WebKit
  Commit: 73e96aaf280ad9579ae93df539948a3ea86c872b
      https://github.com/WebKit/WebKit/commit/73e96aaf280ad9579ae93df539948a3ea86c872b
  Author: Loïc Yhuel <loic.yhuel at softathome.com>
  Date:   2024-01-08 (Mon, 08 Jan 2024)

  Changed paths:
    M Source/WebCore/platform/graphics/holepunch/MediaPlayerPrivateHolePunch.cpp
    M Source/WebCore/platform/graphics/holepunch/MediaPlayerPrivateHolePunch.h

  Log Message:
  -----------
  [Nicosia] Fix MediaPlayerPrivateHolePunch build
https://bugs.webkit.org/show_bug.cgi?id=267082

Reviewed by Philippe Normand.

NicosiaContentLayerTextureMapperImpl has been changed to NicosiaContentLayer in 269998 at main.
wtf/NeverDestroyed.h was missing.

* Source/WebCore/platform/graphics/holepunch/MediaPlayerPrivateHolePunch.cpp:
(WebCore::MediaPlayerPrivateHolePunch::MediaPlayerPrivateHolePunch):
(WebCore::MediaPlayerPrivateHolePunch::~MediaPlayerPrivateHolePunch):
(WebCore::MediaPlayerPrivateHolePunch::pushNextHolePunchBuffer):
* Source/WebCore/platform/graphics/holepunch/MediaPlayerPrivateHolePunch.h:

Canonical link: https://commits.webkit.org/272758@main