From 6c6e3a8e76b7481350e04d3ebaa62de04506c5b3 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Florian=20M=C3=BCllner?= Date: Wed, 8 Mar 2023 19:40:01 +0100 Subject: [PATCH] portalHelper: Stop monkey-patching String.format() It's not used, so no need to set it up. Part-of: --- js/portalHelper/main.js | 7 ------- 1 file changed, 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;