Support Firefox 45 (without e10s).

common/modules/highlight.jsm

@@ -251,14 +251,15 @@ var Highlights = Module("Highlight", {
         });
     },
 
-    groupRegexp: util.regexp(literal(function () /*
+    groupRegexp: util.regexp(String.raw`
         ^
         (\s* (?:\S|\s\S)+ \s+)
         \{ ([^}]*) \}
         \s*
         $
-    */$), "gmx"),
-    sheetRegexp: util.regexp(literal(function () /*
+    `, "gmx"),
+
+    sheetRegexp: util.regexp(String.raw`
         ^\s*
         !? \*?
              (?P<group>    (?:[^;\s]|\s[^;\s])+ )
@@ -267,7 +268,7 @@ var Highlights = Module("Highlight", {
         (?:; (?P<extends>  (?:[^;\s]|\s[^;\s])+ )? )?
         \s*  (?P<css>      .*)
         $
-    */$), "x"),
+    `, "x"),
     // </css>
 
     /**
@@ -351,7 +352,7 @@ var Highlights = Module("Highlight", {
         commands.add(["hi[ghlight]"],
             "Set the style of certain display elements",
             function (args) {
-                let style = literal(function () /*
+                let style = `
                     ;
                     display: inline-block !important;
                     position: static !important;
@@ -359,7 +360,7 @@ var Highlights = Module("Highlight", {
                     width: 3em !important; min-width: 3em !important; max-width: 3em !important;
                     height: 1em !important; min-height: 1em !important; max-height: 1em !important;
                     overflow: hidden !important;
-                */$);
+                `;
                 let clear = args[0] == "clear";
                 if (clear)
                     args.shift();