[gnome-shell/wip/fmuellner/debacktickize-prefs] extensionPrefs: Work around xgettext bug

[Florian Müllner <fmuellner src gnome org>]

commit efb204c4848fb5d9554984bfbad669f209bcd5c4
Author: Florian Müllner <fmuellner gnome org>
Date:   Fri Feb 1 20:11:39 2019 +0100

    extensionPrefs: Work around xgettext bug
    
    xgettext is thrown off by the combination of backticks and slashes,
    which makes template string a fun trap to fall into. Just use
    String.format() for now ...
    
    https://gitlab.gnome.org/GNOME/gnome-shell/merge_requests/383

 js/extensionPrefs/main.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)
---
diff --git a/js/extensionPrefs/main.js b/js/extensionPrefs/main.js
index cb7d9edd6..bfa820b59 100644
--- a/js/extensionPrefs/main.js
+++ b/js/extensionPrefs/main.js
@@ -118,7 +118,7 @@ var Application = class {
         scroll.add(box);
 
         let label = new Gtk.Label({
-            label: `<span size="x-large">${_("Something’s gone wrong")}</span>`,
+            label: '<span size="x-large">%s</span>'.format(_("Something’s gone wrong")),
             use_markup: true
         });
         label.get_style_context().add_class(Gtk.STYLE_CLASS_DIM_LABEL);