[webkit-changes] [WebKit/WebKit] f2379c: Remove additional UA stylesheet rule for `audio` e...

[Ahmad Saleem]

  Branch: refs/heads/main
  Home:   https://github.com/WebKit/WebKit
  Commit: f2379cbda4fa28879673e949ae84b5c4a6095fc3
      https://github.com/WebKit/WebKit/commit/f2379cbda4fa28879673e949ae84b5c4a6095fc3
  Author: Ahmad Saleem <ahmad.saleem792+github at gmail.com>
  Date:   2024-01-16 (Tue, 16 Jan 2024)

  Changed paths:
    M Source/WebCore/css/mediaControls.css

  Log Message:
  -----------
  Remove additional UA stylesheet rule for `audio` element from mediaControls.css

https://bugs.webkit.org/show_bug.cgi?id=267615

Reviewed by Eric Carlson.

We have an additional UA stylesheet rule for `audio` element in 'html.css' added by 223534 at main,
when modern media controls were enabled.
The commit tried to consolidate and remove `audio` element UA rules from other files
(i.e., mediaControlsApple.css) but forgot to remove this one.

This patch is to remove it as well and rely on 'html.css' as single source of truth.

* Source/WebCore/css/mediaControls.css:
(audio): Removed

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