WebKit Bugzilla
New
Browse
Log In
×
Sign in with GitHub
or
Remember my login
Create Account
·
Forgot Password
Forgotten password account recovery
RESOLVED FIXED
Bug 239538
[GTK] Deprecate WebKitSettings:enable-java
https://bugs.webkit.org/show_bug.cgi?id=239538
Summary
[GTK] Deprecate WebKitSettings:enable-java
Michael Catanzaro
Reported
2022-04-20 05:49:31 PDT
Somehow we forgot to deprecate enable-java. It should be removed from GTK 4 API, and deprecated with GTK 3.
Attachments
Add attachment
proposed patch, testcase, etc.
Michael Catanzaro
Comment 1
2022-04-25 17:37:23 PDT
Also: enable-xss-auditor
Lauro Moura
Comment 2
2022-05-24 23:01:12 PDT
Pull request:
https://github.com/WebKit/WebKit/pull/1004
Lauro Moura
Comment 3
2022-05-25 07:43:59 PDT
Updating summary after
250038@main
handled enable-xss-auditor.
Michael Catanzaro
Comment 4
2022-05-25 08:21:16 PDT
(In reply to Lauro Moura from
comment #3
)
> Updating summary after
250038@main
handled enable-xss-auditor.
I'm going to un-update the summary since enable-xss-auditor is deprecated, but has not been removed yet. It shouldn't exist at all in the GTK 4 API version.
Michael Catanzaro
Comment 5
2022-05-25 08:22:29 PDT
Well, actually, never mind. We don't actually need separate bugs to track removal of deprecated stuff. We have
https://bugs.webkit.org/show_bug.cgi?id=235151
for that.
EWS
Comment 6
2022-05-26 18:41:42 PDT
Committed
r294920
(
251036@main
): <
https://commits.webkit.org/251036@main
> Reviewed commits have been landed. Closing PR #1004 and removing active labels.
Philippe Normand
Comment 7
2022-05-27 03:30:52 PDT
Introduced warnings: ^ /app/webkit/WebKitBuild/Release/WebKit2Gtk/Headers/webkit2/WebKitSettings.h:159:55: note: 'webkit_settings_get_enable_java' has been explicitly marked deprecated here __attribute__((visibility("default"))) __attribute__((__deprecated__)) gboolean ^ /app/webkit/Tools/TestWebKitAPI/Tests/WebKitGLib/TestWebKitSettings.cpp:84:5: warning: 'webkit_settings_set_enable_java' is deprecated [-Wdeprecated-declarations] webkit_settings_set_enable_java(settings, (0)); ^ /app/webkit/WebKitBuild/Release/WebKit2Gtk/Headers/webkit2/WebKitSettings.h:162:55: note: 'webkit_settings_set_enable_java' has been explicitly marked deprecated here __attribute__((visibility("default"))) __attribute__((__deprecated__)) void ^ /app/webkit/Tools/TestWebKitAPI/Tests/WebKitGLib/TestWebKitSettings.cpp:85:76: warning: 'webkit_settings_get_enable_java' is deprecated [-Wdeprecated-declarations] do { if (__builtin_expect (__extension__ ({ int _g_boolean_var_; if (!(webkit_settings_get_enable_java(settings))) _g_boolean_var_ = 1; else _g_boolean_var_ = 0; _g_boolean_var_; }), 1)) ; else g_assertion_message (((gchar*) 0), "/app/webkit/Tools/TestWebKitAPI/Tests/WebKitGLib/TestWebKitSettings.cpp", 85, ((const char*) (__PRETTY_FUNCTION__)), "'" "webkit_settings_get_enable_java(settings)" "' should be FALSE"); } while (0); ^ /app/webkit/WebKitBuild/Release/WebKit2Gtk/Headers/webkit2/WebKitSettings.h:159:55: note: 'webkit_settings_get_enable_java' has been explicitly marked deprecated here __attribute__((visibility("default"))) __attribute__((__deprecated__)) gboolean ^ 3 warnings generated.
Michael Catanzaro
Comment 8
2022-05-27 05:58:14 PDT
Reopening to fix warnings.
Lauro Moura
Comment 9
2022-05-27 08:36:58 PDT
Pull request:
https://github.com/WebKit/WebKit/pull/1098
EWS
Comment 10
2022-05-27 10:58:56 PDT
Committed
r294942
(
251052@main
): <
https://commits.webkit.org/251052@main
> Reviewed commits have been landed. Closing PR #1098 and removing active labels.
Note
You need to
log in
before you can comment on or make changes to this bug.
Top of Page
Format For Printing
XML
Clone This Bug