Branch: refs/heads/main
Home: https://github.com/WebKit/WebKit
Commit: ebec3b5a284a8f8b2e8358c47f8a810121672045
https://github.com/WebKit/WebKit/commit/ebec3b5a284a8f8b2e8358c47f8a810121672045
Author: Basuke Suzuki <[email protected]>
Date: 2023-08-18 (Fri, 18 Aug 2023)
Changed paths:
M Source/WebKit/PlatformPlayStation.cmake
M Source/WebKit/UIProcess/API/C/WKUserScriptRef.cpp
M Source/WebKit/UIProcess/API/C/WKUserScriptRef.h
Log Message:
-----------
Add WKUserScriptCreate with all parameters available.
https://bugs.webkit.org/show_bug.cgi?id=260363
Reviewed by Alex Christensen.
WKUserScriptCreateFromSource() cannot specify parameters for full
WebCore::UserScript and
the feature is limited. Because WKPageGroup is deprecated on 266167@main, we
cannot achieve
same thing we could do with WKPageGroupAddUserScript because of the lack of
above creation API.
This patch adds WKUserScriptCreate() with all parameters available.
* Source/WebKit/PlatformPlayStation.cmake:
* Source/WebKit/UIProcess/API/C/WKUserScriptRef.cpp:
(WKUserScriptCreate):
* Source/WebKit/UIProcess/API/C/WKUserScriptRef.h:
Canonical link: https://commits.webkit.org/267052@main
_______________________________________________
webkit-changes mailing list
[email protected]
https://lists.webkit.org/mailman/listinfo/webkit-changes
