RESOLVED FIXED 232694
[fast-cq] Require MediaSessionCoordinator enabled to enable MediaSession PlayList API
https://bugs.webkit.org/show_bug.cgi?id=232694
Summary [fast-cq] Require MediaSessionCoordinator enabled to enable MediaSession Play...
Diego Pino
Reported 2021-11-03 21:07:08 PDT
Require MediaSession enabled to enable MediaSession PlayList API
Attachments
Patch (1.37 KB, patch)
2021-11-03 21:07 PDT, Diego Pino
no flags
Patch (1.39 KB, patch)
2021-11-03 21:14 PDT, Diego Pino
no flags
Patch (4.15 KB, patch)
2021-11-03 23:53 PDT, Diego Pino
no flags
Diego Pino
Comment 1 2021-11-03 21:07:35 PDT
Diego Pino
Comment 2 2021-11-03 21:14:25 PDT
Diego Pino
Comment 3 2021-11-03 21:22:29 PDT
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() | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ```
Diego Pino
Comment 4 2021-11-03 23:53:51 PDT
EWS
Comment 5 2021-11-04 05:36:59 PDT
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].
Radar WebKit Bug Importer
Comment 6 2021-11-04 05:38:19 PDT
Note You need to log in before you can comment on or make changes to this bug.