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

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

commit 24d894ef0eae7b535ef79606e507b799f3095374
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..e08cf5f11 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);