[webkit-changes] [WebKit/WebKit] 77fb36: Make `:-webkit-full-page-media` an internal pseudo...

[Tim Nguyen]

  Branch: refs/heads/main
  Home:   https://github.com/WebKit/WebKit
  Commit: 77fb3649ec46dea08154a9f96e0d06fd5b9cb0bf
      https://github.com/WebKit/WebKit/commit/77fb3649ec46dea08154a9f96e0d06fd5b9cb0bf
  Author: Tim Nguyen <ntim at apple.com>
  Date:   2024-01-28 (Sun, 28 Jan 2024)

  Changed paths:
    M Source/WebCore/css/CSSPseudoSelectors.json
    M Source/WebCore/css/SelectorChecker.cpp
    M Source/WebCore/css/html.css
    M Source/WebCore/css/mediaControls.css
    M Source/WebCore/css/process-css-pseudo-selectors.py
    M Source/WebCore/cssjit/SelectorCompiler.cpp

  Log Message:
  -----------
  Make `:-webkit-full-page-media` an internal pseudo-class
https://bugs.webkit.org/show_bug.cgi?id=268231
rdar://121752962

Reviewed by Anne van Kesteren.

This matches for media documents only, which webpages can't style anyway, so unexpose this pseudo-class to be internal only.

* Source/WebCore/css/CSSPseudoSelectors.json:
* Source/WebCore/css/SelectorChecker.cpp:
(WebCore::SelectorChecker::checkOne const):
* Source/WebCore/css/html.css:
(body:-internal-media-document):
(body:-webkit-full-page-media): Deleted.
* Source/WebCore/css/mediaControls.css:
(video:-internal-media-document):
(video:-internal-media-document::-webkit-media-controls-panel):
(video:-webkit-full-page-media): Deleted.
(video:-webkit-full-page-media::-webkit-media-controls-panel): Deleted.
* Source/WebCore/css/process-css-pseudo-selectors.py:
* Source/WebCore/cssjit/SelectorCompiler.cpp:
(WebCore::SelectorCompiler::addPseudoClassType):

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