Index: third_party/WebKit/Source/devtools/scripts/rjsmin.py |
diff --git a/third_party/WebKit/Source/devtools/scripts/rjsmin.py b/third_party/WebKit/Source/devtools/scripts/rjsmin.py |
index 8357a6dcc10e571388e1f579676d8c2dce0e9e04..2d15e03fd35a51f8ced6bbd8c29afb80be2da7ad 100755 |
--- a/third_party/WebKit/Source/devtools/scripts/rjsmin.py |
+++ b/third_party/WebKit/Source/devtools/scripts/rjsmin.py |
@@ -99,7 +99,8 @@ def _make_jsmin(python_only=False): |
string1 = \ |
r'(?:\047[^\047\\\r\n]*(?:\\(?:[^\r\n]|\r?\n|\r)[^\047\\\r\n]*)*\047)' |
string2 = r'(?:"[^"\\\r\n]*(?:\\(?:[^\r\n]|\r?\n|\r)[^"\\\r\n]*)*")' |
- strings = r'(?:%s|%s)' % (string1, string2) |
+ string3 = r'(?:`(?:[^`\\]|\\.)*`)' |
+ strings = r'(?:%s|%s|%s)' % (string1, string2, string3) |
charclass = r'(?:\[[^\\\]\r\n]*(?:\\[^\r\n][^\\\]\r\n]*)*\])' |
nospecial = r'[^/\\\[\r\n]' |
@@ -162,7 +163,7 @@ def _make_jsmin(python_only=False): |
id_literal_open = id_literal_(r'[a-zA-Z0-9_${\[(!+-]') |
id_literal_close = id_literal_(r'[a-zA-Z0-9_$}\])"\047+-]') |
- dull = r'[^\047"/\000-\040]' |
+ dull = r'[^\047"`/\000-\040]' |
space_sub = _re.compile(( |
r'(%(dull)s+)' |