diff options
author | Florian Müllner <fmuellner@gnome.org> | 2023-03-08 19:40:01 +0100 |
---|---|---|
committer | Marge Bot <marge-bot@gnome.org> | 2023-04-25 10:45:19 +0000 |
commit | 6c6e3a8e76b7481350e04d3ebaa62de04506c5b3 (patch) | |
tree | 4cf56a5f10e3f7b9266bf4ef799941afa8e155f7 | |
parent | a1f8f2efa18cd1022bca6894bbfb8e19165a9e98 (diff) | |
download | gnome-shell-6c6e3a8e76b7481350e04d3ebaa62de04506c5b3.tar.gz |
portalHelper: Stop monkey-patching String.format()
It's not used, so no need to set it up.
Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/2690>
-rw-r--r-- | js/portalHelper/main.js | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/js/portalHelper/main.js b/js/portalHelper/main.js index 62a522e51..0df588451 100644 --- a/js/portalHelper/main.js +++ b/js/portalHelper/main.js @@ -3,7 +3,6 @@ imports.gi.versions.Pango = '1.0'; imports.gi.versions.Gtk = '3.0'; imports.gi.versions.WebKit2 = '4.1'; -const Format = imports.format; const Gettext = imports.gettext; const { Gio, GLib, GObject, Gtk, Pango, WebKit2: WebKit } = imports.gi; @@ -356,13 +355,7 @@ class WebPortalHelper extends Gtk.Application { } }); -function initEnvironment() { - String.prototype.format = Format.format; -} - function main(argv) { - initEnvironment(); - if (!WebKit.WebContext.new_ephemeral) { log('WebKitGTK 2.16 is required for the portal-helper, see https://bugzilla.gnome.org/show_bug.cgi?id=780453'); return 1; |