Require MediaSession enabled to enable MediaSession PlayList API
Created attachment 443269 [details] Patch
Created attachment 443270 [details] Patch
r285241 enabled MediaSession PlayList API on the condition `WebKit::defaultMediaSessionCoordinatorEnabled()`, but definition of that function is guarded by ENABLE(MEDIA_SESSION_COORDINATOR) (https://webkit-search.igalia.com/webkit/source/Source/WebKit/Shared/WebPreferencesDefaultValues.cpp#333). The flag is disabled in WebKitGTK/WPE (https://webkit-search.igalia.com/webkit/source/Source/cmake/WebKitFeatures.cmake#171), which caused r285241 to break compilation in WebKitGTK/WPE. https://build.webkit.org/#/builders/41/builds/7221 ``` /app/webkit/WebKitBuild/Release/DerivedSources/WebKit/WebPreferencesDefinitions.h:621:63: error: ‘defaultMediaSessionCoordinatorEnabled’ is not a member of ‘WebKit’ 621 | #define DEFAULT_VALUE_FOR_MediaSessionPlaylistEnabled WebKit::defaultMediaSessionCoordinatorEnabled() | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ```
Created attachment 443278 [details] Patch
Committed r285260 (243871@main): <https://commits.webkit.org/243871@main> All reviewed patches have been landed. Closing bug and clearing flags on attachment 443278 [details].
<rdar://problem/85014283>