Bug 261878

Summary:	Fix build with legacy media controls
Product:	WebKit	Reporter:	Olivier Blin <olivier.blin>
Component:	WebCore Misc.	Assignee:	Nobody <webkit-unassigned>
Status:	RESOLVED FIXED
Severity:	Normal	CC:	aperez, cgarcia, don.olmstead, Hironori.Fujii, mcatanzaro, webkit-bug-importer, Yousuke.Kimoto
Priority:	P2	Keywords:	InRadar
Version:	WebKit Nightly Build
Hardware:	Unspecified
OS:	Unspecified
See Also:	https://bugs.webkit.org/show_bug.cgi?id=262034

Description Olivier Blin 2023-09-21 07:10:52 PDT

Build fails when ENABLE_MODERN_MEDIA_CONTROLS is disabled, because css/mediaControls.css is not added in WebCore_USER_AGENT_STYLE_SHEETS, since 255715@main.

Comment 1 Olivier Blin 2023-09-21 07:13:55 PDT

Pull request: https://github.com/WebKit/WebKit/pull/18014

Comment 2 EWS 2023-09-23 00:01:33 PDT

Committed 268355@main (cd2d810df254): <https://commits.webkit.org/268355@main>

Reviewed commits have been landed. Closing PR #18014 and removing active labels.

Comment 3 Radar WebKit Bug Importer 2023-09-23 00:02:38 PDT

<rdar://problem/115926477>