[webkit-changes] [WebKit/WebKit] 869566: Add _managedMediaSourceEnabled to WKPreferencesPri...

[Jean-Yves Avenard]

  Branch: refs/heads/main
  Home:   https://github.com/WebKit/WebKit
  Commit: 869566c01b24f8a631257c8565cc08c3cdeaf1f9
      https://github.com/WebKit/WebKit/commit/869566c01b24f8a631257c8565cc08c3cdeaf1f9
  Author: Jean-Yves Avenard <jya at apple.com>
  Date:   2023-03-19 (Sun, 19 Mar 2023)

  Changed paths:
    M Source/WebKit/UIProcess/API/Cocoa/WKPreferences.mm
    M Source/WebKit/UIProcess/API/Cocoa/WKPreferencesPrivate.h

  Log Message:
  -----------
  Add _managedMediaSourceEnabled to WKPreferencesPrivate
https://bugs.webkit.org/show_bug.cgi?id=254124
rdar://106905466

Reviewed by Jer Noble.

* Source/WebKit/UIProcess/API/Cocoa/WKPreferences.mm:
(-[WKPreferences _setManagedMediaSourceEnabled:]):
(-[WKPreferences _managedMediaSourceEnabled]):
* Source/WebKit/UIProcess/API/Cocoa/WKPreferencesPrivate.h:

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